@astrale-os/kernel-dsl 0.2.0-beta.2 → 0.2.0-beta.20
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/CHANGELOG.md +240 -0
- package/dist/index.d.ts +0 -1
- package/dist/index.js +0 -1
- package/dist/upgrade/contract.d.ts +0 -1
- package/dist/upgrade/contract.js +0 -1
- package/dist/upgrade/index.d.ts +0 -1
- package/dist/upgrade/index.js +0 -1
- package/dist/v1/addressing/class-key.d.ts +12 -0
- package/dist/v1/addressing/class-key.js +39 -0
- package/dist/v1/addressing/definition-ref.d.ts +28 -0
- package/dist/v1/addressing/definition-ref.js +63 -0
- package/dist/v1/addressing/domain-dependency.d.ts +18 -0
- package/dist/v1/addressing/domain-dependency.js +6 -0
- package/dist/v1/addressing/index.d.ts +10 -4
- package/dist/v1/addressing/index.js +5 -3
- package/dist/v1/addressing/key.d.ts +14 -16
- package/dist/v1/addressing/key.js +24 -34
- package/dist/v1/addressing/method-address.d.ts +9 -0
- package/dist/v1/addressing/method-address.js +1 -0
- package/dist/v1/addressing/method-key.d.ts +15 -0
- package/dist/v1/addressing/method-key.js +60 -0
- package/dist/v1/addressing/ordering.d.ts +6 -0
- package/dist/v1/addressing/ordering.js +20 -0
- package/dist/v1/addressing/patterns.d.ts +12 -3
- package/dist/v1/addressing/patterns.js +11 -2
- package/dist/v1/addressing/property-key.d.ts +10 -15
- package/dist/v1/addressing/property-key.js +24 -15
- package/dist/v1/addressing/revision.d.ts +8 -0
- package/dist/v1/addressing/revision.js +8 -0
- package/dist/v1/builder/callable/authoring.d.ts +117 -0
- package/dist/v1/builder/{callable.js → callable/authoring.js} +28 -7
- package/dist/v1/builder/class/authoring.d.ts +378 -0
- package/dist/v1/builder/class/authoring.js +134 -0
- package/dist/v1/builder/class/property.d.ts +58 -0
- package/dist/v1/builder/class/property.js +57 -0
- package/dist/v1/builder/core/authoring.d.ts +42 -0
- package/dist/v1/builder/core/authoring.js +39 -0
- package/dist/v1/builder/index.d.ts +26 -22
- package/dist/v1/builder/index.js +11 -11
- package/dist/v1/builder/lowering/callable.d.ts +24 -0
- package/dist/v1/builder/{compiler → lowering}/callable.js +11 -14
- package/dist/v1/builder/lowering/class.d.ts +22 -0
- package/dist/v1/builder/lowering/class.js +134 -0
- package/dist/v1/builder/lowering/core-properties.d.ts +10 -0
- package/dist/v1/builder/{compiler/core.properties.js → lowering/core-properties.js} +14 -8
- package/dist/v1/builder/lowering/core.d.ts +22 -0
- package/dist/v1/builder/{compiler → lowering}/core.js +17 -11
- package/dist/v1/builder/lowering/policy.d.ts +16 -0
- package/dist/v1/builder/{compiler → lowering}/policy.js +19 -14
- package/dist/v1/builder/{compiler/schema.capture.d.ts → lowering/schema/capture.d.ts} +2 -3
- package/dist/v1/builder/lowering/schema/capture.js +70 -0
- package/dist/v1/builder/{compiler/schema.d.ts → lowering/schema/compile.d.ts} +4 -4
- package/dist/v1/builder/{compiler/schema.js → lowering/schema/compile.js} +34 -44
- package/dist/v1/builder/lowering/schema/context.d.ts +44 -0
- package/dist/v1/builder/{compiler/schema.context.js → lowering/schema/context.js} +66 -74
- package/dist/v1/builder/{compiler/schema.ownership.d.ts → lowering/schema/ownership.d.ts} +1 -2
- package/dist/v1/builder/{compiler/schema.ownership.js → lowering/schema/ownership.js} +1 -2
- package/dist/v1/builder/lowering/value/compile.d.ts +15 -0
- package/dist/v1/builder/{compiler/value.js → lowering/value/compile.js} +44 -61
- package/dist/v1/builder/lowering/value/path.d.ts +3 -0
- package/dist/v1/builder/{compiler/value.path.js → lowering/value/path.js} +1 -2
- package/dist/v1/builder/{compiler/value.zod.d.ts → lowering/value/zod.d.ts} +8 -9
- package/dist/v1/builder/{compiler/value.zod.js → lowering/value/zod.js} +10 -11
- package/dist/v1/builder/lowering/view.d.ts +11 -0
- package/dist/v1/builder/{compiler → lowering}/view.js +7 -7
- package/dist/v1/builder/{policy.d.ts → policy/authoring.d.ts} +19 -17
- package/dist/v1/builder/{policy.js → policy/authoring.js} +23 -12
- package/dist/v1/builder/schema/define.d.ts +11 -0
- package/dist/v1/builder/{schema.js → schema/define.js} +1 -2
- package/dist/v1/builder/schema/diagnostic.d.ts +16 -0
- package/dist/v1/builder/schema/diagnostic.js +31 -0
- package/dist/v1/builder/{internal/authoring.d.ts → schema/handle.d.ts} +1 -2
- package/dist/v1/builder/{internal/authoring.js → schema/handle.js} +0 -1
- package/dist/v1/builder/schema/input.d.ts +15 -0
- package/dist/v1/builder/schema/input.js +1 -0
- package/dist/v1/builder/{internal/authoring.lazy.d.ts → schema/lazy.d.ts} +0 -1
- package/dist/v1/builder/{internal/authoring.lazy.js → schema/lazy.js} +0 -1
- package/dist/v1/builder/schema/projection.d.ts +370 -0
- package/dist/v1/builder/schema/projection.js +1 -0
- package/dist/v1/builder/value/full-match.d.ts +4 -0
- package/dist/v1/builder/value/full-match.js +11 -0
- package/dist/v1/builder/value/path-metadata.d.ts +4 -0
- package/dist/v1/builder/{internal/path.metadata.js → value/path-metadata.js} +0 -1
- package/dist/v1/builder/value/path.d.ts +8 -0
- package/dist/v1/builder/{path.js → value/path.js} +4 -5
- package/dist/v1/builder/{value-schema.d.ts → value/schema.d.ts} +2 -3
- package/dist/v1/builder/{value-schema.js → value/schema.js} +0 -1
- package/dist/v1/builder/view/authoring.d.ts +17 -0
- package/dist/v1/builder/view/authoring.js +16 -0
- package/dist/v1/bundle/codec.d.ts +0 -1
- package/dist/v1/bundle/codec.js +36 -19
- package/dist/v1/bundle/create.d.ts +3 -0
- package/dist/v1/bundle/create.js +5 -0
- package/dist/v1/bundle/diagnostic.d.ts +10 -0
- package/dist/v1/bundle/diagnostic.js +17 -0
- package/dist/v1/bundle/index.d.ts +3 -2
- package/dist/v1/bundle/index.js +2 -2
- package/dist/v1/bundle/model.d.ts +1 -4
- package/dist/v1/bundle/model.js +0 -6
- package/dist/v1/bundle/structure.d.ts +1 -2
- package/dist/v1/bundle/structure.js +6 -6
- package/dist/v1/bundle/transport.d.ts +8 -0
- package/dist/v1/bundle/transport.js +7 -0
- package/dist/v1/compiled/admission/accept.d.ts +3 -0
- package/dist/v1/compiled/admission/accept.js +910 -0
- package/dist/v1/compiled/admission/revision.d.ts +4 -0
- package/dist/v1/compiled/admission/revision.js +73 -0
- package/dist/v1/compiled/admission/semantics.d.ts +7 -0
- package/dist/v1/compiled/admission/semantics.js +1114 -0
- package/dist/v1/compiled/codec/json.d.ts +3 -0
- package/dist/v1/compiled/codec/json.js +9 -0
- package/dist/v1/compiled/compiler/compile.d.ts +4 -0
- package/dist/v1/compiled/compiler/compile.js +113 -0
- package/dist/v1/compiled/diagnostic.d.ts +11 -0
- package/dist/v1/compiled/diagnostic.js +13 -0
- package/dist/v1/compiled/generated.d.ts +10 -0
- package/dist/v1/compiled/generated.js +15 -0
- package/dist/v1/compiled/index.d.ts +7 -0
- package/dist/v1/compiled/index.js +5 -0
- package/dist/v1/compiled/loader/index.d.ts +1 -0
- package/dist/v1/compiled/loader/index.js +1 -0
- package/dist/v1/compiled/loader/load.d.ts +9 -0
- package/dist/v1/compiled/loader/load.js +147 -0
- package/dist/v1/compiled/model/schema.d.ts +73 -0
- package/dist/v1/compiled/model/schema.js +1 -0
- package/dist/v1/domain/create.d.ts +8 -0
- package/dist/v1/domain/create.js +264 -0
- package/dist/v1/domain/index.d.ts +2 -0
- package/dist/v1/domain/index.js +1 -0
- package/dist/v1/domain/model/domain.d.ts +59 -0
- package/dist/v1/domain/model/domain.js +1 -0
- package/dist/v1/domain/model/input.d.ts +31 -0
- package/dist/v1/domain/model/input.js +1 -0
- package/dist/v1/domain/namespace/member-collection.d.ts +5 -0
- package/dist/v1/domain/namespace/member-collection.js +81 -0
- package/dist/v1/domain/projection/classes.d.ts +4 -0
- package/dist/v1/domain/projection/classes.js +198 -0
- package/dist/v1/domain/validation/create.d.ts +18 -0
- package/dist/v1/domain/validation/create.js +75 -0
- package/dist/v1/index.d.ts +14 -5
- package/dist/v1/index.js +6 -3
- package/dist/v1/language/callable/index.d.ts +2 -0
- package/dist/v1/language/callable/index.js +1 -0
- package/dist/v1/language/callable/model/callable.d.ts +33 -0
- package/dist/v1/language/callable/model/callable.js +1 -0
- package/dist/v1/language/callable/resolved.d.ts +68 -0
- package/dist/v1/language/callable/resolved.js +1 -0
- package/dist/v1/language/class/facets.d.ts +58 -0
- package/dist/v1/language/class/facets.js +1 -0
- package/dist/v1/language/class/index.d.ts +8 -0
- package/dist/v1/language/class/index.js +1 -0
- package/dist/v1/language/class/model/class.d.ts +37 -0
- package/dist/v1/language/class/model/class.js +1 -0
- package/dist/v1/{schema/definition → language/class/model}/data.d.ts +2 -3
- package/dist/v1/{schema/definition → language/class/model}/data.js +0 -1
- package/dist/v1/{schema/definition → language/class/model}/edge.d.ts +9 -6
- package/dist/v1/language/class/model/edge.js +1 -0
- package/dist/v1/language/class/model/property.d.ts +17 -0
- package/dist/v1/language/class/model/property.js +1 -0
- package/dist/v1/language/class/property-values.d.ts +15 -0
- package/dist/v1/language/class/property-values.js +30 -0
- package/dist/v1/language/class/resolved.d.ts +126 -0
- package/dist/v1/language/class/resolved.js +1 -0
- package/dist/v1/language/core/index.d.ts +2 -0
- package/dist/v1/language/core/index.js +1 -0
- package/dist/v1/language/core/model/core.d.ts +20 -0
- package/dist/v1/language/core/model/core.js +1 -0
- package/dist/v1/language/core/resolved.d.ts +21 -0
- package/dist/v1/language/core/resolved.js +1 -0
- package/dist/v1/{schema → language/definition}/metadata.d.ts +0 -1
- package/dist/v1/{schema → language/definition}/metadata.js +0 -1
- package/dist/v1/language/definition.d.ts +7 -0
- package/dist/v1/language/definition.js +1 -0
- package/dist/v1/language/index.d.ts +25 -0
- package/dist/v1/language/index.js +2 -0
- package/dist/v1/{schema/policy/validation → language/policy/analysis}/branches.d.ts +2 -4
- package/dist/v1/{schema/policy/validation → language/policy/analysis}/branches.js +14 -30
- package/dist/v1/{schema/policy/validation → language/policy/analysis}/budgets.d.ts +1 -4
- package/dist/v1/language/policy/analysis/budgets.js +25 -0
- package/dist/v1/language/policy/index.d.ts +3 -0
- package/dist/v1/language/policy/index.js +1 -0
- package/dist/v1/{schema/policy/ast.d.ts → language/policy/model/policy.d.ts} +7 -7
- package/dist/v1/language/policy/model/policy.js +1 -0
- package/dist/v1/language/policy/normalization/normalize.d.ts +4 -0
- package/dist/v1/{schema/policy → language/policy/normalization}/normalize.js +12 -16
- package/dist/v1/language/policy/resolved.d.ts +9 -0
- package/dist/v1/language/policy/resolved.js +1 -0
- package/dist/v1/language/resolved.d.ts +10 -0
- package/dist/v1/language/resolved.js +1 -0
- package/dist/v1/language/state/index.d.ts +3 -0
- package/dist/v1/language/state/index.js +1 -0
- package/dist/v1/language/state/machine.d.ts +28 -0
- package/dist/v1/language/state/machine.js +40 -0
- package/dist/v1/language/state/topology.d.ts +14 -0
- package/dist/v1/language/state/topology.js +69 -0
- package/dist/v1/language/validation/diagnostic.d.ts +8 -0
- package/dist/v1/language/validation/diagnostic.js +3 -0
- package/dist/v1/language/value/compile/fields.d.ts +3 -0
- package/dist/v1/language/value/compile/fields.js +60 -0
- package/dist/v1/language/value/compile/load.d.ts +4 -0
- package/dist/v1/language/value/compile/load.js +41 -0
- package/dist/v1/language/value/compile/model.d.ts +27 -0
- package/dist/v1/language/value/compile/model.js +1 -0
- package/dist/v1/{schema/value/instance → language/value/evaluate}/assertions.d.ts +0 -1
- package/dist/v1/{schema/value/instance → language/value/evaluate}/assertions.js +1 -2
- package/dist/v1/{schema/value/instance → language/value/evaluate}/evaluator.d.ts +0 -1
- package/dist/v1/{schema/value/instance → language/value/evaluate}/evaluator.js +6 -18
- package/dist/v1/{schema/value/instance/compiler.d.ts → language/value/evaluate/preparation.d.ts} +4 -4
- package/dist/v1/language/value/evaluate/preparation.js +135 -0
- package/dist/v1/language/value/evaluate/program.d.ts +3 -0
- package/dist/v1/language/value/evaluate/program.js +16 -0
- package/dist/v1/{schema/value/instance → language/value/evaluate}/types.d.ts +8 -5
- package/dist/v1/{schema/value/instance → language/value/evaluate}/types.js +0 -1
- package/dist/v1/{schema/value/instance.validate.d.ts → language/value/evaluate/validate.d.ts} +4 -5
- package/dist/v1/{schema/value/instance.validate.js → language/value/evaluate/validate.js} +5 -6
- package/dist/v1/language/value/index.d.ts +11 -0
- package/dist/v1/language/value/index.js +8 -0
- package/dist/v1/{schema/value → language/value/model}/instant.d.ts +1 -1
- package/dist/v1/{schema/value → language/value/model}/instant.js +1 -1
- package/dist/v1/{schema/value → language/value/model}/object.d.ts +1 -1
- package/dist/v1/{schema/value → language/value/model}/object.js +0 -1
- package/dist/v1/{schema/value → language/value/model}/schema.d.ts +3 -4
- package/dist/v1/{schema/value → language/value/model}/schema.js +0 -2
- package/dist/v1/{schema → language}/value/ordering.d.ts +5 -3
- package/dist/v1/{schema → language}/value/ordering.js +16 -14
- package/dist/v1/{schema → language}/value/profile/canonicalize.d.ts +2 -3
- package/dist/v1/{schema → language}/value/profile/canonicalize.js +4 -7
- package/dist/v1/language/value/profile/json.validate.d.ts +2 -0
- package/dist/v1/{schema → language}/value/profile/json.validate.js +1 -2
- package/dist/v1/{schema → language}/value/profile/meta-schema.compiled.d.ts +0 -1
- package/dist/v1/{schema → language}/value/profile/meta-schema.compiled.js +1 -2
- package/dist/v1/language/value/profile/meta-schema.d.ts +4 -0
- package/dist/v1/{schema/value/profile/meta-schema.validate.js → language/value/profile/meta-schema.js} +2 -2
- package/dist/v1/language/value/profile/rules.d.ts +3 -0
- package/dist/v1/{schema → language}/value/profile/rules.js +7 -50
- package/dist/v1/language/value/profile/validate.d.ts +4 -0
- package/dist/v1/{schema → language}/value/profile/validate.js +14 -22
- package/dist/v1/{schema → language}/value/profile/vocabulary.d.ts +0 -1
- package/dist/v1/{schema → language}/value/profile/vocabulary.js +0 -1
- package/dist/v1/language/value/reference/closure.d.ts +11 -0
- package/dist/v1/{schema/value/resources → language/value/reference}/closure.js +13 -21
- package/dist/v1/{schema/value/resources → language/value/reference}/recursion.d.ts +3 -4
- package/dist/v1/{schema/value/resources → language/value/reference}/recursion.js +5 -6
- package/dist/v1/language/value/reference/references.d.ts +17 -0
- package/dist/v1/language/value/reference/references.js +45 -0
- package/dist/v1/{schema/value → language/value/reference}/registry.d.ts +9 -7
- package/dist/v1/language/value/reference/registry.index.d.ts +14 -0
- package/dist/v1/{schema/value/resources → language/value/reference}/registry.index.js +7 -45
- package/dist/v1/language/value/reference/registry.js +1 -0
- package/dist/v1/language/value/regexp/ast.d.ts +21 -0
- package/dist/v1/language/value/regexp/ast.js +326 -0
- package/dist/v1/language/value/regexp/compile.d.ts +3 -0
- package/dist/v1/language/value/regexp/compile.js +96 -0
- package/dist/v1/{schema → language}/value/regexp/lower.d.ts +1 -2
- package/dist/v1/{schema → language}/value/regexp/lower.js +2 -3
- package/dist/v1/language/value/regexp/matcher.d.ts +7 -0
- package/dist/v1/language/value/regexp/matcher.js +50 -0
- package/dist/v1/{schema → language}/value/regexp/pattern.d.ts +0 -1
- package/dist/v1/{schema → language}/value/regexp/pattern.js +0 -1
- package/dist/v1/language/value/regexp/syntax.d.ts +2 -0
- package/dist/v1/language/value/regexp/syntax.js +5 -0
- package/dist/v1/language/value/syntax/full-match.d.ts +6 -0
- package/dist/v1/language/value/syntax/full-match.js +20 -0
- package/dist/v1/{schema/value/location → language/value/syntax}/keywords.d.ts +0 -1
- package/dist/v1/{schema/value/location → language/value/syntax}/keywords.js +0 -1
- package/dist/v1/{schema/value/extensions → language/value/syntax}/node-path/schema.d.ts +1 -2
- package/dist/v1/{schema/value/extensions → language/value/syntax}/node-path/schema.js +2 -3
- package/dist/v1/language/value/syntax/node-path/validate.d.ts +4 -0
- package/dist/v1/{schema/value/extensions → language/value/syntax}/node-path/validate.js +16 -18
- package/dist/v1/{schema/value/location → language/value/syntax}/pointer.d.ts +0 -1
- package/dist/v1/{schema/value/location → language/value/syntax}/pointer.js +1 -2
- package/dist/v1/{schema/value/location → language/value/syntax}/walk.d.ts +1 -2
- package/dist/v1/{schema/value/location → language/value/syntax}/walk.js +1 -2
- package/dist/v1/language/view/index.d.ts +2 -0
- package/dist/v1/language/view/index.js +1 -0
- package/dist/v1/language/view/model/view.d.ts +11 -0
- package/dist/v1/language/view/model/view.js +1 -0
- package/dist/v1/language/view/resolved.d.ts +9 -0
- package/dist/v1/language/view/resolved.js +1 -0
- package/dist/v1/schema/admission/accept.d.ts +3 -0
- package/dist/v1/schema/{domain.accept.js → admission/accept.js} +8 -9
- package/dist/v1/schema/{definition/analysis.d.ts → analysis/class.d.ts} +17 -18
- package/dist/v1/schema/{definition/analysis.js → analysis/class.js} +21 -30
- package/dist/v1/schema/canonical/domain.d.ts +2 -2
- package/dist/v1/schema/canonical/domain.digest.d.ts +1 -2
- package/dist/v1/schema/canonical/domain.digest.js +2 -6
- package/dist/v1/schema/canonical/domain.js +3 -224
- package/dist/v1/schema/canonical/freeze.d.ts +0 -1
- package/dist/v1/schema/canonical/freeze.js +0 -1
- package/dist/v1/schema/{domain.revision.d.ts → canonical/revision.d.ts} +2 -3
- package/dist/v1/schema/{domain.revision.js → canonical/revision.js} +3 -4
- package/dist/v1/schema/codec/header.d.ts +17 -0
- package/dist/v1/schema/codec/header.js +26 -0
- package/dist/v1/schema/{domain.codec.d.ts → codec/schema.d.ts} +2 -3
- package/dist/v1/schema/{domain.codec.js → codec/schema.js} +4 -5
- package/dist/v1/schema/{dependency.meaning.d.ts → compatibility/meaning.d.ts} +4 -5
- package/dist/v1/schema/{dependency.meaning.js → compatibility/meaning.js} +121 -124
- package/dist/v1/schema/{domain.lookup.d.ts → dependency/lookup.d.ts} +3 -4
- package/dist/v1/schema/{domain.lookup.js → dependency/lookup.js} +1 -2
- package/dist/v1/schema/diagnostic.d.ts +7 -7
- package/dist/v1/schema/diagnostic.js +9 -9
- package/dist/v1/schema/index.d.ts +24 -34
- package/dist/v1/schema/index.js +11 -14
- package/dist/v1/schema/model/format.d.ts +2 -0
- package/dist/v1/schema/model/format.js +2 -0
- package/dist/v1/schema/model/schema.d.ts +30 -0
- package/dist/v1/schema/model/schema.js +4 -0
- package/dist/v1/schema/normalization/domain.d.ts +2 -0
- package/dist/v1/schema/normalization/domain.js +210 -0
- package/dist/v1/schema/resolution/closure.d.ts +3 -4
- package/dist/v1/schema/resolution/closure.js +6 -7
- package/dist/v1/schema/resolution/context.d.ts +11 -12
- package/dist/v1/schema/resolution/context.js +82 -50
- package/dist/v1/schema/resolution/definition.index.d.ts +13 -35
- package/dist/v1/schema/resolution/definition.index.js +8 -18
- package/dist/v1/schema/resolution/domain.d.ts +4 -0
- package/dist/v1/schema/resolution/domain.js +112 -0
- package/dist/v1/schema/resolution/origins.d.ts +11 -14
- package/dist/v1/schema/resolution/origins.js +31 -44
- package/dist/v1/schema/resolution/value.registry.d.ts +3 -4
- package/dist/v1/schema/resolution/value.registry.js +7 -14
- package/dist/v1/schema/revision.d.ts +1 -0
- package/dist/v1/schema/revision.js +1 -0
- package/dist/v1/schema/validation/class.d.ts +5 -0
- package/dist/v1/schema/validation/class.js +257 -0
- package/dist/v1/schema/validation/core.d.ts +5 -0
- package/dist/v1/schema/{core/validate.js → validation/core.js} +39 -30
- package/dist/v1/schema/validation/domain.d.ts +11 -0
- package/dist/v1/schema/{domain.validate.js → validation/domain.js} +12 -12
- package/dist/v1/schema/validation/domain.route.d.ts +1 -2
- package/dist/v1/schema/validation/domain.route.js +3 -4
- package/dist/v1/schema/validation/domain.structure.d.ts +3 -4
- package/dist/v1/schema/validation/domain.structure.js +203 -207
- package/dist/v1/schema/validation/policy/budgets.d.ts +4 -0
- package/dist/v1/schema/{policy/validation → validation/policy}/budgets.js +2 -32
- package/dist/v1/schema/validation/policy/context.d.ts +28 -0
- package/dist/v1/schema/{policy/validation → validation/policy}/context.js +23 -33
- package/dist/v1/schema/{policy/validation → validation/policy}/references.d.ts +0 -1
- package/dist/v1/schema/{policy/validation → validation/policy}/references.js +18 -11
- package/dist/v1/schema/{policy/validation → validation/policy}/typing.d.ts +4 -8
- package/dist/v1/schema/{policy/validation → validation/policy}/typing.js +25 -67
- package/dist/v1/schema/{policy/validation → validation/policy}/uses.d.ts +0 -1
- package/dist/v1/schema/{policy/validation → validation/policy}/uses.js +27 -63
- package/dist/v1/schema/{policy/validation → validation/policy}/validate.d.ts +3 -4
- package/dist/v1/schema/{policy/validation → validation/policy}/validate.js +0 -1
- package/dist/v1/schema/{value/index.d.ts → validation/value-api.d.ts} +9 -10
- package/dist/v1/schema/{value/index.js → validation/value-api.js} +4 -5
- package/dist/v1/schema/validation/value.d.ts +4 -5
- package/dist/v1/schema/validation/value.js +4 -9
- package/dist/v1/schema/validation/view.d.ts +3 -0
- package/dist/v1/schema/{view/validate.js → validation/view.js} +11 -4
- package/dist/v1/value/full-match.d.ts +2 -0
- package/dist/v1/value/full-match.js +2 -0
- package/dist/v1.d.ts +1 -2
- package/dist/v1.js +1 -2
- package/dist/value/accept.d.ts +0 -1
- package/dist/value/accept.js +0 -1
- package/dist/value/canonical.d.ts +0 -1
- package/dist/value/canonical.js +0 -1
- package/dist/value/decode.d.ts +0 -1
- package/dist/value/decode.js +0 -1
- package/dist/value/equal.d.ts +0 -1
- package/dist/value/equal.js +0 -1
- package/dist/value/error.d.ts +0 -1
- package/dist/value/error.js +0 -1
- package/dist/value/index.d.ts +0 -1
- package/dist/value/index.js +0 -1
- package/dist/value/json.d.ts +0 -1
- package/dist/value/json.js +0 -1
- package/dist/value/limits.d.ts +0 -1
- package/dist/value/limits.js +0 -1
- package/dist/value/types.d.ts +0 -1
- package/dist/value/types.js +0 -1
- package/dist/value/unicode.d.ts +0 -1
- package/dist/value/unicode.js +0 -1
- package/dist/version/dispatch.d.ts +0 -1
- package/dist/version/dispatch.js +0 -1
- package/dist/version/index.d.ts +0 -1
- package/dist/version/index.js +0 -1
- package/package.json +69 -13
- package/dist/index.d.ts.map +0 -1
- package/dist/index.js.map +0 -1
- package/dist/upgrade/contract.d.ts.map +0 -1
- package/dist/upgrade/contract.js.map +0 -1
- package/dist/upgrade/index.d.ts.map +0 -1
- package/dist/upgrade/index.js.map +0 -1
- package/dist/v1/addressing/index.d.ts.map +0 -1
- package/dist/v1/addressing/index.js.map +0 -1
- package/dist/v1/addressing/key.d.ts.map +0 -1
- package/dist/v1/addressing/key.js.map +0 -1
- package/dist/v1/addressing/patterns.d.ts.map +0 -1
- package/dist/v1/addressing/patterns.js.map +0 -1
- package/dist/v1/addressing/property-key.d.ts.map +0 -1
- package/dist/v1/addressing/property-key.js.map +0 -1
- package/dist/v1/addressing/ref.d.ts +0 -35
- package/dist/v1/addressing/ref.d.ts.map +0 -1
- package/dist/v1/addressing/ref.js +0 -94
- package/dist/v1/addressing/ref.js.map +0 -1
- package/dist/v1/addressing/schema-ref.d.ts +0 -8
- package/dist/v1/addressing/schema-ref.d.ts.map +0 -1
- package/dist/v1/addressing/schema-ref.js +0 -2
- package/dist/v1/addressing/schema-ref.js.map +0 -1
- package/dist/v1/builder/callable.d.ts +0 -92
- package/dist/v1/builder/callable.d.ts.map +0 -1
- package/dist/v1/builder/callable.js.map +0 -1
- package/dist/v1/builder/compiler/callable.d.ts +0 -20
- package/dist/v1/builder/compiler/callable.d.ts.map +0 -1
- package/dist/v1/builder/compiler/callable.js.map +0 -1
- package/dist/v1/builder/compiler/core.d.ts +0 -6
- package/dist/v1/builder/compiler/core.d.ts.map +0 -1
- package/dist/v1/builder/compiler/core.js.map +0 -1
- package/dist/v1/builder/compiler/core.properties.d.ts +0 -6
- package/dist/v1/builder/compiler/core.properties.d.ts.map +0 -1
- package/dist/v1/builder/compiler/core.properties.js.map +0 -1
- package/dist/v1/builder/compiler/definition.d.ts +0 -32
- package/dist/v1/builder/compiler/definition.d.ts.map +0 -1
- package/dist/v1/builder/compiler/definition.js +0 -197
- package/dist/v1/builder/compiler/definition.js.map +0 -1
- package/dist/v1/builder/compiler/policy.d.ts +0 -17
- package/dist/v1/builder/compiler/policy.d.ts.map +0 -1
- package/dist/v1/builder/compiler/policy.js.map +0 -1
- package/dist/v1/builder/compiler/schema.capture.d.ts.map +0 -1
- package/dist/v1/builder/compiler/schema.capture.js +0 -85
- package/dist/v1/builder/compiler/schema.capture.js.map +0 -1
- package/dist/v1/builder/compiler/schema.context.d.ts +0 -45
- package/dist/v1/builder/compiler/schema.context.d.ts.map +0 -1
- package/dist/v1/builder/compiler/schema.context.js.map +0 -1
- package/dist/v1/builder/compiler/schema.d.ts.map +0 -1
- package/dist/v1/builder/compiler/schema.js.map +0 -1
- package/dist/v1/builder/compiler/schema.ownership.d.ts.map +0 -1
- package/dist/v1/builder/compiler/schema.ownership.js.map +0 -1
- package/dist/v1/builder/compiler/value.d.ts +0 -26
- package/dist/v1/builder/compiler/value.d.ts.map +0 -1
- package/dist/v1/builder/compiler/value.js.map +0 -1
- package/dist/v1/builder/compiler/value.path.d.ts +0 -4
- package/dist/v1/builder/compiler/value.path.d.ts.map +0 -1
- package/dist/v1/builder/compiler/value.path.js.map +0 -1
- package/dist/v1/builder/compiler/value.zod.d.ts.map +0 -1
- package/dist/v1/builder/compiler/value.zod.js.map +0 -1
- package/dist/v1/builder/compiler/view.d.ts +0 -12
- package/dist/v1/builder/compiler/view.d.ts.map +0 -1
- package/dist/v1/builder/compiler/view.js.map +0 -1
- package/dist/v1/builder/core.d.ts +0 -27
- package/dist/v1/builder/core.d.ts.map +0 -1
- package/dist/v1/builder/core.js +0 -21
- package/dist/v1/builder/core.js.map +0 -1
- package/dist/v1/builder/definition.d.ts +0 -155
- package/dist/v1/builder/definition.d.ts.map +0 -1
- package/dist/v1/builder/definition.js +0 -141
- package/dist/v1/builder/definition.js.map +0 -1
- package/dist/v1/builder/full-match.d.ts +0 -12
- package/dist/v1/builder/full-match.d.ts.map +0 -1
- package/dist/v1/builder/full-match.js +0 -21
- package/dist/v1/builder/full-match.js.map +0 -1
- package/dist/v1/builder/index.d.ts.map +0 -1
- package/dist/v1/builder/index.js.map +0 -1
- package/dist/v1/builder/internal/authoring.d.ts.map +0 -1
- package/dist/v1/builder/internal/authoring.js.map +0 -1
- package/dist/v1/builder/internal/authoring.lazy.d.ts.map +0 -1
- package/dist/v1/builder/internal/authoring.lazy.js.map +0 -1
- package/dist/v1/builder/internal/diagnostic.d.ts +0 -4
- package/dist/v1/builder/internal/diagnostic.d.ts.map +0 -1
- package/dist/v1/builder/internal/diagnostic.js +0 -16
- package/dist/v1/builder/internal/diagnostic.js.map +0 -1
- package/dist/v1/builder/internal/path.metadata.d.ts +0 -5
- package/dist/v1/builder/internal/path.metadata.d.ts.map +0 -1
- package/dist/v1/builder/internal/path.metadata.js.map +0 -1
- package/dist/v1/builder/path.d.ts +0 -9
- package/dist/v1/builder/path.d.ts.map +0 -1
- package/dist/v1/builder/path.js.map +0 -1
- package/dist/v1/builder/policy.d.ts.map +0 -1
- package/dist/v1/builder/policy.js.map +0 -1
- package/dist/v1/builder/property.d.ts +0 -37
- package/dist/v1/builder/property.d.ts.map +0 -1
- package/dist/v1/builder/property.js +0 -36
- package/dist/v1/builder/property.js.map +0 -1
- package/dist/v1/builder/schema.d.ts +0 -6
- package/dist/v1/builder/schema.d.ts.map +0 -1
- package/dist/v1/builder/schema.input.d.ts +0 -19
- package/dist/v1/builder/schema.input.d.ts.map +0 -1
- package/dist/v1/builder/schema.input.js +0 -2
- package/dist/v1/builder/schema.input.js.map +0 -1
- package/dist/v1/builder/schema.js.map +0 -1
- package/dist/v1/builder/value-schema.d.ts.map +0 -1
- package/dist/v1/builder/value-schema.js.map +0 -1
- package/dist/v1/builder/view.d.ts +0 -19
- package/dist/v1/builder/view.d.ts.map +0 -1
- package/dist/v1/builder/view.js +0 -7
- package/dist/v1/builder/view.js.map +0 -1
- package/dist/v1/builder.d.ts +0 -3
- package/dist/v1/builder.d.ts.map +0 -1
- package/dist/v1/builder.js +0 -2
- package/dist/v1/builder.js.map +0 -1
- package/dist/v1/bundle/codec.d.ts.map +0 -1
- package/dist/v1/bundle/codec.js.map +0 -1
- package/dist/v1/bundle/index.d.ts.map +0 -1
- package/dist/v1/bundle/index.js.map +0 -1
- package/dist/v1/bundle/model.d.ts.map +0 -1
- package/dist/v1/bundle/model.js.map +0 -1
- package/dist/v1/bundle/structure.d.ts.map +0 -1
- package/dist/v1/bundle/structure.js.map +0 -1
- package/dist/v1/bundle.d.ts +0 -3
- package/dist/v1/bundle.d.ts.map +0 -1
- package/dist/v1/bundle.js +0 -3
- package/dist/v1/bundle.js.map +0 -1
- package/dist/v1/index.d.ts.map +0 -1
- package/dist/v1/index.js.map +0 -1
- package/dist/v1/schema/callable.d.ts +0 -29
- package/dist/v1/schema/callable.d.ts.map +0 -1
- package/dist/v1/schema/callable.js +0 -2
- package/dist/v1/schema/callable.js.map +0 -1
- package/dist/v1/schema/canonical/domain.d.ts.map +0 -1
- package/dist/v1/schema/canonical/domain.digest.d.ts.map +0 -1
- package/dist/v1/schema/canonical/domain.digest.js.map +0 -1
- package/dist/v1/schema/canonical/domain.js.map +0 -1
- package/dist/v1/schema/canonical/freeze.d.ts.map +0 -1
- package/dist/v1/schema/canonical/freeze.js.map +0 -1
- package/dist/v1/schema/core/declaration.d.ts +0 -17
- package/dist/v1/schema/core/declaration.d.ts.map +0 -1
- package/dist/v1/schema/core/declaration.js +0 -2
- package/dist/v1/schema/core/declaration.js.map +0 -1
- package/dist/v1/schema/core/validate.d.ts +0 -6
- package/dist/v1/schema/core/validate.d.ts.map +0 -1
- package/dist/v1/schema/core/validate.js.map +0 -1
- package/dist/v1/schema/definition/analysis.d.ts.map +0 -1
- package/dist/v1/schema/definition/analysis.js.map +0 -1
- package/dist/v1/schema/definition/class.d.ts +0 -28
- package/dist/v1/schema/definition/class.d.ts.map +0 -1
- package/dist/v1/schema/definition/class.js +0 -2
- package/dist/v1/schema/definition/class.js.map +0 -1
- package/dist/v1/schema/definition/data.d.ts.map +0 -1
- package/dist/v1/schema/definition/data.js.map +0 -1
- package/dist/v1/schema/definition/edge.d.ts.map +0 -1
- package/dist/v1/schema/definition/edge.js +0 -2
- package/dist/v1/schema/definition/edge.js.map +0 -1
- package/dist/v1/schema/definition/interface.d.ts +0 -22
- package/dist/v1/schema/definition/interface.d.ts.map +0 -1
- package/dist/v1/schema/definition/interface.js +0 -2
- package/dist/v1/schema/definition/interface.js.map +0 -1
- package/dist/v1/schema/definition/property.d.ts +0 -18
- package/dist/v1/schema/definition/property.d.ts.map +0 -1
- package/dist/v1/schema/definition/property.js +0 -2
- package/dist/v1/schema/definition/property.js.map +0 -1
- package/dist/v1/schema/definition/validate.d.ts +0 -5
- package/dist/v1/schema/definition/validate.d.ts.map +0 -1
- package/dist/v1/schema/definition/validate.js +0 -221
- package/dist/v1/schema/definition/validate.js.map +0 -1
- package/dist/v1/schema/dependency.meaning.d.ts.map +0 -1
- package/dist/v1/schema/dependency.meaning.js.map +0 -1
- package/dist/v1/schema/diagnostic.d.ts.map +0 -1
- package/dist/v1/schema/diagnostic.js.map +0 -1
- package/dist/v1/schema/domain.accept.d.ts +0 -4
- package/dist/v1/schema/domain.accept.d.ts.map +0 -1
- package/dist/v1/schema/domain.accept.js.map +0 -1
- package/dist/v1/schema/domain.codec.d.ts.map +0 -1
- package/dist/v1/schema/domain.codec.js.map +0 -1
- package/dist/v1/schema/domain.header.d.ts +0 -15
- package/dist/v1/schema/domain.header.d.ts.map +0 -1
- package/dist/v1/schema/domain.header.js +0 -21
- package/dist/v1/schema/domain.header.js.map +0 -1
- package/dist/v1/schema/domain.ir.d.ts +0 -40
- package/dist/v1/schema/domain.ir.d.ts.map +0 -1
- package/dist/v1/schema/domain.ir.js +0 -5
- package/dist/v1/schema/domain.ir.js.map +0 -1
- package/dist/v1/schema/domain.lookup.d.ts.map +0 -1
- package/dist/v1/schema/domain.lookup.js.map +0 -1
- package/dist/v1/schema/domain.resolve.d.ts +0 -26
- package/dist/v1/schema/domain.resolve.d.ts.map +0 -1
- package/dist/v1/schema/domain.resolve.js +0 -43
- package/dist/v1/schema/domain.resolve.js.map +0 -1
- package/dist/v1/schema/domain.revision.d.ts.map +0 -1
- package/dist/v1/schema/domain.revision.js.map +0 -1
- package/dist/v1/schema/domain.validate.d.ts +0 -12
- package/dist/v1/schema/domain.validate.d.ts.map +0 -1
- package/dist/v1/schema/domain.validate.js.map +0 -1
- package/dist/v1/schema/index.d.ts.map +0 -1
- package/dist/v1/schema/index.js.map +0 -1
- package/dist/v1/schema/metadata.d.ts.map +0 -1
- package/dist/v1/schema/metadata.js.map +0 -1
- package/dist/v1/schema/policy/ast.d.ts.map +0 -1
- package/dist/v1/schema/policy/ast.js +0 -2
- package/dist/v1/schema/policy/ast.js.map +0 -1
- package/dist/v1/schema/policy/normalize.d.ts +0 -5
- package/dist/v1/schema/policy/normalize.d.ts.map +0 -1
- package/dist/v1/schema/policy/normalize.js.map +0 -1
- package/dist/v1/schema/policy/validation/branches.d.ts.map +0 -1
- package/dist/v1/schema/policy/validation/branches.js.map +0 -1
- package/dist/v1/schema/policy/validation/budgets.d.ts.map +0 -1
- package/dist/v1/schema/policy/validation/budgets.js.map +0 -1
- package/dist/v1/schema/policy/validation/context.d.ts +0 -28
- package/dist/v1/schema/policy/validation/context.d.ts.map +0 -1
- package/dist/v1/schema/policy/validation/context.js.map +0 -1
- package/dist/v1/schema/policy/validation/references.d.ts.map +0 -1
- package/dist/v1/schema/policy/validation/references.js.map +0 -1
- package/dist/v1/schema/policy/validation/typing.d.ts.map +0 -1
- package/dist/v1/schema/policy/validation/typing.js.map +0 -1
- package/dist/v1/schema/policy/validation/uses.d.ts.map +0 -1
- package/dist/v1/schema/policy/validation/uses.js.map +0 -1
- package/dist/v1/schema/policy/validation/validate.d.ts.map +0 -1
- package/dist/v1/schema/policy/validation/validate.js.map +0 -1
- package/dist/v1/schema/reference.d.ts +0 -43
- package/dist/v1/schema/reference.d.ts.map +0 -1
- package/dist/v1/schema/reference.js +0 -31
- package/dist/v1/schema/reference.js.map +0 -1
- package/dist/v1/schema/resolution/closure.d.ts.map +0 -1
- package/dist/v1/schema/resolution/closure.js.map +0 -1
- package/dist/v1/schema/resolution/context.d.ts.map +0 -1
- package/dist/v1/schema/resolution/context.js.map +0 -1
- package/dist/v1/schema/resolution/definition.index.d.ts.map +0 -1
- package/dist/v1/schema/resolution/definition.index.js.map +0 -1
- package/dist/v1/schema/resolution/origins.d.ts.map +0 -1
- package/dist/v1/schema/resolution/origins.js.map +0 -1
- package/dist/v1/schema/resolution/value.registry.d.ts.map +0 -1
- package/dist/v1/schema/resolution/value.registry.js.map +0 -1
- package/dist/v1/schema/validation/domain.route.d.ts.map +0 -1
- package/dist/v1/schema/validation/domain.route.js.map +0 -1
- package/dist/v1/schema/validation/domain.structure.d.ts.map +0 -1
- package/dist/v1/schema/validation/domain.structure.js.map +0 -1
- package/dist/v1/schema/validation/value.d.ts.map +0 -1
- package/dist/v1/schema/validation/value.js.map +0 -1
- package/dist/v1/schema/value/extensions/node-path/schema.d.ts.map +0 -1
- package/dist/v1/schema/value/extensions/node-path/schema.js.map +0 -1
- package/dist/v1/schema/value/extensions/node-path/validate.d.ts +0 -5
- package/dist/v1/schema/value/extensions/node-path/validate.d.ts.map +0 -1
- package/dist/v1/schema/value/extensions/node-path/validate.js.map +0 -1
- package/dist/v1/schema/value/index.d.ts.map +0 -1
- package/dist/v1/schema/value/index.js.map +0 -1
- package/dist/v1/schema/value/instance/assertions.d.ts.map +0 -1
- package/dist/v1/schema/value/instance/assertions.js.map +0 -1
- package/dist/v1/schema/value/instance/compiler.d.ts.map +0 -1
- package/dist/v1/schema/value/instance/compiler.js +0 -69
- package/dist/v1/schema/value/instance/compiler.js.map +0 -1
- package/dist/v1/schema/value/instance/evaluator.d.ts.map +0 -1
- package/dist/v1/schema/value/instance/evaluator.js.map +0 -1
- package/dist/v1/schema/value/instance/types.d.ts.map +0 -1
- package/dist/v1/schema/value/instance/types.js.map +0 -1
- package/dist/v1/schema/value/instance.validate.d.ts.map +0 -1
- package/dist/v1/schema/value/instance.validate.js.map +0 -1
- package/dist/v1/schema/value/instant.d.ts.map +0 -1
- package/dist/v1/schema/value/instant.js.map +0 -1
- package/dist/v1/schema/value/location/keywords.d.ts.map +0 -1
- package/dist/v1/schema/value/location/keywords.js.map +0 -1
- package/dist/v1/schema/value/location/pointer.d.ts.map +0 -1
- package/dist/v1/schema/value/location/pointer.js.map +0 -1
- package/dist/v1/schema/value/location/walk.d.ts.map +0 -1
- package/dist/v1/schema/value/location/walk.js.map +0 -1
- package/dist/v1/schema/value/object.d.ts.map +0 -1
- package/dist/v1/schema/value/object.js.map +0 -1
- package/dist/v1/schema/value/ordering.d.ts.map +0 -1
- package/dist/v1/schema/value/ordering.js.map +0 -1
- package/dist/v1/schema/value/profile/canonicalize.d.ts.map +0 -1
- package/dist/v1/schema/value/profile/canonicalize.js.map +0 -1
- package/dist/v1/schema/value/profile/dialect.d.ts +0 -5
- package/dist/v1/schema/value/profile/dialect.d.ts.map +0 -1
- package/dist/v1/schema/value/profile/dialect.js +0 -36
- package/dist/v1/schema/value/profile/dialect.js.map +0 -1
- package/dist/v1/schema/value/profile/json.validate.d.ts +0 -3
- package/dist/v1/schema/value/profile/json.validate.d.ts.map +0 -1
- package/dist/v1/schema/value/profile/json.validate.js.map +0 -1
- package/dist/v1/schema/value/profile/meta-schema.compiled.d.ts.map +0 -1
- package/dist/v1/schema/value/profile/meta-schema.compiled.js.map +0 -1
- package/dist/v1/schema/value/profile/meta-schema.validate.d.ts +0 -4
- package/dist/v1/schema/value/profile/meta-schema.validate.d.ts.map +0 -1
- package/dist/v1/schema/value/profile/meta-schema.validate.js.map +0 -1
- package/dist/v1/schema/value/profile/rules.d.ts +0 -5
- package/dist/v1/schema/value/profile/rules.d.ts.map +0 -1
- package/dist/v1/schema/value/profile/rules.js.map +0 -1
- package/dist/v1/schema/value/profile/validate.d.ts +0 -5
- package/dist/v1/schema/value/profile/validate.d.ts.map +0 -1
- package/dist/v1/schema/value/profile/validate.js.map +0 -1
- package/dist/v1/schema/value/profile/vocabulary.d.ts.map +0 -1
- package/dist/v1/schema/value/profile/vocabulary.js.map +0 -1
- package/dist/v1/schema/value/regexp/linear.d.ts +0 -20
- package/dist/v1/schema/value/regexp/linear.d.ts.map +0 -1
- package/dist/v1/schema/value/regexp/linear.js +0 -24
- package/dist/v1/schema/value/regexp/linear.js.map +0 -1
- package/dist/v1/schema/value/regexp/lower.d.ts.map +0 -1
- package/dist/v1/schema/value/regexp/lower.js.map +0 -1
- package/dist/v1/schema/value/regexp/pattern.d.ts.map +0 -1
- package/dist/v1/schema/value/regexp/pattern.js.map +0 -1
- package/dist/v1/schema/value/regexp/syntax.d.ts +0 -3
- package/dist/v1/schema/value/regexp/syntax.d.ts.map +0 -1
- package/dist/v1/schema/value/regexp/syntax.js +0 -217
- package/dist/v1/schema/value/regexp/syntax.js.map +0 -1
- package/dist/v1/schema/value/registry.d.ts.map +0 -1
- package/dist/v1/schema/value/registry.js +0 -2
- package/dist/v1/schema/value/registry.js.map +0 -1
- package/dist/v1/schema/value/resources/closure.d.ts +0 -12
- package/dist/v1/schema/value/resources/closure.d.ts.map +0 -1
- package/dist/v1/schema/value/resources/closure.js.map +0 -1
- package/dist/v1/schema/value/resources/recursion.d.ts.map +0 -1
- package/dist/v1/schema/value/resources/recursion.js.map +0 -1
- package/dist/v1/schema/value/resources/references.d.ts +0 -25
- package/dist/v1/schema/value/resources/references.d.ts.map +0 -1
- package/dist/v1/schema/value/resources/references.js +0 -93
- package/dist/v1/schema/value/resources/references.js.map +0 -1
- package/dist/v1/schema/value/resources/registry.index.d.ts +0 -22
- package/dist/v1/schema/value/resources/registry.index.d.ts.map +0 -1
- package/dist/v1/schema/value/resources/registry.index.js.map +0 -1
- package/dist/v1/schema/value/schema.d.ts.map +0 -1
- package/dist/v1/schema/value/schema.js.map +0 -1
- package/dist/v1/schema/view/declaration.d.ts +0 -14
- package/dist/v1/schema/view/declaration.d.ts.map +0 -1
- package/dist/v1/schema/view/declaration.js +0 -2
- package/dist/v1/schema/view/declaration.js.map +0 -1
- package/dist/v1/schema/view/validate.d.ts +0 -4
- package/dist/v1/schema/view/validate.d.ts.map +0 -1
- package/dist/v1/schema/view/validate.js.map +0 -1
- package/dist/v1/schema.d.ts +0 -3
- package/dist/v1/schema.d.ts.map +0 -1
- package/dist/v1/schema.js +0 -3
- package/dist/v1/schema.js.map +0 -1
- package/dist/v1.d.ts.map +0 -1
- package/dist/v1.js.map +0 -1
- package/dist/value/accept.d.ts.map +0 -1
- package/dist/value/accept.js.map +0 -1
- package/dist/value/canonical.d.ts.map +0 -1
- package/dist/value/canonical.js.map +0 -1
- package/dist/value/decode.d.ts.map +0 -1
- package/dist/value/decode.js.map +0 -1
- package/dist/value/equal.d.ts.map +0 -1
- package/dist/value/equal.js.map +0 -1
- package/dist/value/error.d.ts.map +0 -1
- package/dist/value/error.js.map +0 -1
- package/dist/value/index.d.ts.map +0 -1
- package/dist/value/index.js.map +0 -1
- package/dist/value/json.d.ts.map +0 -1
- package/dist/value/json.js.map +0 -1
- package/dist/value/limits.d.ts.map +0 -1
- package/dist/value/limits.js.map +0 -1
- package/dist/value/types.d.ts.map +0 -1
- package/dist/value/types.js.map +0 -1
- package/dist/value/unicode.d.ts.map +0 -1
- package/dist/value/unicode.js.map +0 -1
- package/dist/version/dispatch.d.ts.map +0 -1
- package/dist/version/dispatch.js.map +0 -1
- package/dist/version/index.d.ts.map +0 -1
- package/dist/version/index.js.map +0 -1
|
@@ -1,8 +1,9 @@
|
|
|
1
|
-
import {
|
|
2
|
-
import {
|
|
3
|
-
import {
|
|
4
|
-
import {
|
|
5
|
-
import {
|
|
1
|
+
import { Key } from '../../../../addressing/index.js';
|
|
2
|
+
import { DOMAIN_ORIGIN_PATTERN, MEMBER_NAME_PATTERN } from '../../../../addressing/patterns.js';
|
|
3
|
+
import { diagnostic } from '../../../validation/diagnostic.js';
|
|
4
|
+
import { isValueObject as isJsonObject } from '../../model/object.js';
|
|
5
|
+
import { parseJsonPointerFragment } from '../pointer.js';
|
|
6
|
+
import { walkSchema } from '../walk.js';
|
|
6
7
|
import { GRAPH_NODE_PATH_SCHEMA_ID } from './schema.js';
|
|
7
8
|
export function validateNodePathExtension(schema, context, pointer, definitionExists) {
|
|
8
9
|
const diagnostics = [];
|
|
@@ -14,15 +15,13 @@ export function validateNodePathExtension(schema, context, pointer, definitionEx
|
|
|
14
15
|
const tokens = parseJsonPointerFragment(`#${location.pointer}`);
|
|
15
16
|
const fieldName = tokens?.length === 2 && tokens[0] === 'properties' ? tokens[1] : undefined;
|
|
16
17
|
const root = isJsonObject(schema) ? schema : undefined;
|
|
17
|
-
const
|
|
18
|
+
const directField = context === 'callable-input' &&
|
|
18
19
|
root?.type === 'object' &&
|
|
19
20
|
location.depth === 1 &&
|
|
20
21
|
location.parentKeyword === 'properties' &&
|
|
21
|
-
fieldName !== undefined
|
|
22
|
-
|
|
23
|
-
root.
|
|
24
|
-
if (!directRequiredField) {
|
|
25
|
-
diagnostics.push(diagnostic('VS_PATH_EXTENSION', extensionPointer, 'x-astrale-path is allowed only on a direct required property schema at a callable-input object root.'));
|
|
22
|
+
fieldName !== undefined;
|
|
23
|
+
if (!directField) {
|
|
24
|
+
diagnostics.push(diagnostic('VS_PATH_EXTENSION', extensionPointer, 'x-astrale-path is allowed only on a direct property schema at a callable-input object root.'));
|
|
26
25
|
}
|
|
27
26
|
const schemaKeys = Object.keys(location.schema);
|
|
28
27
|
if (schemaKeys.length !== 2 ||
|
|
@@ -42,23 +41,23 @@ export function validateNodePathExtension(schema, context, pointer, definitionEx
|
|
|
42
41
|
diagnostics.push(diagnostic('VS_PATH_EXTENSION', extensionPointer, 'A V1 Path field resolves exactly one Node.'));
|
|
43
42
|
}
|
|
44
43
|
if (!Array.isArray(annotation.accepts) || annotation.accepts.length === 0) {
|
|
45
|
-
diagnostics.push(diagnostic('VS_PATH_EXTENSION', `${extensionPointer}/accepts`, 'x-astrale-path.accepts must be a non-empty Node
|
|
44
|
+
diagnostics.push(diagnostic('VS_PATH_EXTENSION', `${extensionPointer}/accepts`, 'x-astrale-path.accepts must be a non-empty Node Class ref set.'));
|
|
46
45
|
return;
|
|
47
46
|
}
|
|
48
47
|
const seen = new Set();
|
|
49
48
|
annotation.accepts.forEach((candidate, candidateIndex) => {
|
|
50
49
|
const candidatePointer = `${extensionPointer}/accepts/${candidateIndex}`;
|
|
51
50
|
if (!isNodeDefinitionRef(candidate)) {
|
|
52
|
-
diagnostics.push(diagnostic('VS_PATH_EXTENSION', candidatePointer, 'Path acceptance entries are exact
|
|
51
|
+
diagnostics.push(diagnostic('VS_PATH_EXTENSION', candidatePointer, 'Path acceptance entries are exact Node Class refs.'));
|
|
53
52
|
return;
|
|
54
53
|
}
|
|
55
|
-
const key =
|
|
54
|
+
const key = Key.of(candidate);
|
|
56
55
|
if (seen.has(key)) {
|
|
57
|
-
diagnostics.push(diagnostic('VS_PATH_EXTENSION', candidatePointer, 'x-astrale-path.accepts rejects duplicate
|
|
56
|
+
diagnostics.push(diagnostic('VS_PATH_EXTENSION', candidatePointer, 'x-astrale-path.accepts rejects duplicate Class refs.'));
|
|
58
57
|
}
|
|
59
58
|
seen.add(key);
|
|
60
59
|
if (!definitionExists(candidate)) {
|
|
61
|
-
diagnostics.push(diagnostic('VS_REFERENCE_RESOLUTION', candidatePointer, 'Path acceptance
|
|
60
|
+
diagnostics.push(diagnostic('VS_REFERENCE_RESOLUTION', candidatePointer, 'Path acceptance Class is absent from the current/direct exact registry.'));
|
|
62
61
|
}
|
|
63
62
|
});
|
|
64
63
|
});
|
|
@@ -69,7 +68,7 @@ function isNodeDefinitionRef(value) {
|
|
|
69
68
|
hasExactKeys(value, ['origin', 'kind', 'name']) &&
|
|
70
69
|
typeof value.origin === 'string' &&
|
|
71
70
|
DOMAIN_ORIGIN_PATTERN.test(value.origin) &&
|
|
72
|
-
|
|
71
|
+
value.kind === 'class' &&
|
|
73
72
|
typeof value.name === 'string' &&
|
|
74
73
|
MEMBER_NAME_PATTERN.test(value.name));
|
|
75
74
|
}
|
|
@@ -77,4 +76,3 @@ function hasExactKeys(value, expected) {
|
|
|
77
76
|
const actual = Object.keys(value);
|
|
78
77
|
return actual.length === expected.length && expected.every((key) => Object.hasOwn(value, key));
|
|
79
78
|
}
|
|
80
|
-
//# sourceMappingURL=validate.js.map
|
|
@@ -2,4 +2,3 @@ export declare function appendPointer(pointer: string, token: string | number):
|
|
|
2
2
|
export declare function parseJsonPointerFragment(fragment: string): readonly string[] | undefined;
|
|
3
3
|
export declare function tokensToPointer(tokens: readonly string[]): string;
|
|
4
4
|
export declare function resolvePointer(root: unknown, tokens: readonly string[]): unknown;
|
|
5
|
-
//# sourceMappingURL=pointer.d.ts.map
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import type { JsonSchema } from '../schema.js';
|
|
1
|
+
import type { JsonSchema } from '../model/schema.js';
|
|
2
2
|
export interface SchemaLocation {
|
|
3
3
|
readonly schema: JsonSchema;
|
|
4
4
|
readonly pointer: string;
|
|
@@ -8,4 +8,3 @@ export interface SchemaLocation {
|
|
|
8
8
|
export declare function walkSchema(schema: JsonSchema, visit: (location: SchemaLocation) => void, pointer?: string): void;
|
|
9
9
|
export declare function collectSchemaPointers(schema: JsonSchema): ReadonlySet<string>;
|
|
10
10
|
export declare function isJsonSchema(value: unknown): value is JsonSchema;
|
|
11
|
-
//# sourceMappingURL=walk.d.ts.map
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import { isValueObject as isJsonObject } from '../object.js';
|
|
1
|
+
import { isValueObject as isJsonObject } from '../model/object.js';
|
|
2
2
|
import { SCHEMA_ARRAY_KEYWORDS, SCHEMA_MAP_KEYWORDS, SCHEMA_SINGLE_KEYWORDS } from './keywords.js';
|
|
3
3
|
import { appendPointer } from './pointer.js';
|
|
4
4
|
export function walkSchema(schema, visit, pointer = '') {
|
|
@@ -51,4 +51,3 @@ export function collectSchemaPointers(schema) {
|
|
|
51
51
|
export function isJsonSchema(value) {
|
|
52
52
|
return typeof value === 'boolean' || isJsonObject(value);
|
|
53
53
|
}
|
|
54
|
-
//# sourceMappingURL=walk.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
export {};
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
import type { ClassRef, DefinitionBase, ViewRef } from '../../../addressing/index.js';
|
|
2
|
+
export type ViewTarget = {
|
|
3
|
+
readonly kind: 'domain';
|
|
4
|
+
} | {
|
|
5
|
+
readonly kind: 'definition';
|
|
6
|
+
readonly definitions: readonly [ClassRef, ...ClassRef[]];
|
|
7
|
+
};
|
|
8
|
+
export interface ViewDefinition extends DefinitionBase<ViewRef> {
|
|
9
|
+
readonly description?: string;
|
|
10
|
+
readonly target: ViewTarget;
|
|
11
|
+
}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
export {};
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
import type { DefinitionKey, ViewRef } from '../../addressing/index.js';
|
|
2
|
+
import type { ViewDefinition, ViewTarget } from './model/view.js';
|
|
3
|
+
export interface ResolvedView {
|
|
4
|
+
readonly ref: ViewRef;
|
|
5
|
+
readonly key: DefinitionKey<string, 'view'>;
|
|
6
|
+
readonly target: ViewTarget;
|
|
7
|
+
readonly description?: ViewDefinition['description'];
|
|
8
|
+
readonly definition: ViewDefinition;
|
|
9
|
+
}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
export {};
|
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
import { accept as acceptJsonValue, BoundaryError as JsonBoundaryError, } from '@astrale-os/kernel-dsl/value';
|
|
2
|
-
import {
|
|
3
|
-
import { emptyDomainSchemaLookup } from '
|
|
4
|
-
import {
|
|
5
|
-
import {
|
|
6
|
-
import {
|
|
7
|
-
import { routeDomainSchema } from '
|
|
2
|
+
import { canonicalDomainSchemaAfterValidation } from '../canonical/revision.js';
|
|
3
|
+
import { emptyDomainSchemaLookup } from '../dependency/lookup.js';
|
|
4
|
+
import { SchemaError, diagnostic } from '../diagnostic.js';
|
|
5
|
+
import { rememberDomainClosure } from '../resolution/closure.js';
|
|
6
|
+
import { validateDomainSchemaSemantics } from '../validation/domain.js';
|
|
7
|
+
import { routeDomainSchema } from '../validation/domain.route.js';
|
|
8
8
|
export function acceptDomainSchema(input, lookup = emptyDomainSchemaLookup()) {
|
|
9
9
|
let admitted;
|
|
10
10
|
try {
|
|
@@ -12,16 +12,15 @@ export function acceptDomainSchema(input, lookup = emptyDomainSchemaLookup()) {
|
|
|
12
12
|
}
|
|
13
13
|
catch (error) {
|
|
14
14
|
if (error instanceof JsonBoundaryError) {
|
|
15
|
-
throw new
|
|
15
|
+
throw new SchemaError([diagnostic('DV_JSON_VALUE', error.pointer, error.message)]);
|
|
16
16
|
}
|
|
17
17
|
throw error;
|
|
18
18
|
}
|
|
19
19
|
const structured = routeDomainSchema(admitted);
|
|
20
20
|
const validation = validateDomainSchemaSemantics(structured, lookup);
|
|
21
21
|
if (validation.diagnostics.length > 0)
|
|
22
|
-
throw new
|
|
22
|
+
throw new SchemaError(validation.diagnostics);
|
|
23
23
|
const accepted = canonicalDomainSchemaAfterValidation(structured).schema;
|
|
24
24
|
rememberDomainClosure(accepted, validation.context.dependencies.values());
|
|
25
25
|
return accepted;
|
|
26
26
|
}
|
|
27
|
-
//# sourceMappingURL=domain.accept.js.map
|
|
@@ -1,43 +1,42 @@
|
|
|
1
|
-
import type {
|
|
2
|
-
import type {
|
|
3
|
-
import type {
|
|
1
|
+
import type { ClassRef } from '../../addressing/index.js';
|
|
2
|
+
import type { MethodDefinition } from '../../language/callable/model/callable.js';
|
|
3
|
+
import type { ClassDefinition } from '../../language/class/model/class.js';
|
|
4
|
+
import type { DataDefinition } from '../../language/class/model/data.js';
|
|
5
|
+
import type { PropertyAuto } from '../../language/class/model/property.js';
|
|
6
|
+
import type { StateTopology } from '../../language/state/index.js';
|
|
7
|
+
import type { JsonSchema } from '../../language/value/model/schema.js';
|
|
8
|
+
import type { SchemaDiagnostic } from '../diagnostic.js';
|
|
4
9
|
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 type { PropertyAuto } from './property.js';
|
|
10
10
|
import { PropertyKey } from '../../addressing/index.js';
|
|
11
11
|
export interface EffectiveField {
|
|
12
12
|
readonly identity: PropertyKey;
|
|
13
|
-
readonly owner:
|
|
13
|
+
readonly owner: ClassRef;
|
|
14
14
|
readonly name: string;
|
|
15
15
|
readonly schema: JsonSchema;
|
|
16
16
|
readonly required: boolean;
|
|
17
|
-
readonly visibility: 'public' | 'private';
|
|
18
17
|
readonly auto?: PropertyAuto;
|
|
18
|
+
readonly state?: StateTopology;
|
|
19
19
|
}
|
|
20
20
|
export interface EffectiveMethod {
|
|
21
21
|
readonly identity: string;
|
|
22
|
-
readonly owner:
|
|
22
|
+
readonly owner: ClassRef;
|
|
23
23
|
readonly name: string;
|
|
24
|
-
readonly declaration:
|
|
24
|
+
readonly declaration: MethodDefinition;
|
|
25
25
|
}
|
|
26
26
|
export interface EffectiveData {
|
|
27
27
|
readonly identity: string;
|
|
28
|
-
readonly owner:
|
|
29
|
-
readonly declaration:
|
|
28
|
+
readonly owner: ClassRef;
|
|
29
|
+
readonly declaration: DataDefinition;
|
|
30
30
|
}
|
|
31
31
|
export interface DefinitionAnalysis {
|
|
32
|
-
readonly ref:
|
|
33
|
-
readonly declaration:
|
|
32
|
+
readonly ref: ClassRef;
|
|
33
|
+
readonly declaration: ClassDefinition;
|
|
34
34
|
readonly properties: ReadonlyMap<PropertyKey, EffectiveField>;
|
|
35
35
|
readonly data?: EffectiveData;
|
|
36
36
|
readonly methods: ReadonlyMap<string, EffectiveMethod>;
|
|
37
37
|
}
|
|
38
38
|
export interface DefinitionAnalysisResult {
|
|
39
39
|
readonly definitions: ReadonlyMap<string, DefinitionAnalysis>;
|
|
40
|
-
readonly diagnostics: readonly
|
|
40
|
+
readonly diagnostics: readonly SchemaDiagnostic[];
|
|
41
41
|
}
|
|
42
42
|
export declare function analyzeDefinitions(environment: DomainResolutionContext): DefinitionAnalysisResult;
|
|
43
|
-
//# sourceMappingURL=analysis.d.ts.map
|
|
@@ -1,20 +1,21 @@
|
|
|
1
1
|
import { json } from '@astrale-os/kernel-dsl/value';
|
|
2
|
-
import { PropertyKey } from '../../addressing/index.js';
|
|
2
|
+
import { Key, PropertyKey } from '../../addressing/index.js';
|
|
3
|
+
import { definitionRefIndex } from '../../addressing/ordering.js';
|
|
4
|
+
import { normalizePolicyChecks } from '../../language/policy/normalization/normalize.js';
|
|
5
|
+
import { canonicalizeValueSchema } from '../../language/value/profile/canonicalize.js';
|
|
3
6
|
import { diagnostic } from '../diagnostic.js';
|
|
4
|
-
|
|
5
|
-
import { schemaRefIndex, formatSchemaRef } from '../reference.js';
|
|
6
|
-
import { canonicalizeValueSchema } from '../value/profile/canonicalize.js';
|
|
7
|
+
const formatDefinitionRef = Key.of;
|
|
7
8
|
export function analyzeDefinitions(environment) {
|
|
8
9
|
const diagnostics = [];
|
|
9
10
|
const result = new Map();
|
|
10
11
|
const visiting = new Set();
|
|
11
12
|
const analyze = (ref) => {
|
|
12
|
-
const key =
|
|
13
|
+
const key = definitionRefIndex(ref);
|
|
13
14
|
const cached = result.get(key);
|
|
14
15
|
if (cached !== undefined)
|
|
15
16
|
return cached;
|
|
16
17
|
if (visiting.has(key)) {
|
|
17
|
-
diagnostics.push(diagnostic('
|
|
18
|
+
diagnostics.push(diagnostic('DV_CLASS_ACYCLIC', '', `Inheritance cycle reaches ${formatDefinitionRef(ref)}.`, formatDefinitionRef(ref)));
|
|
18
19
|
return undefined;
|
|
19
20
|
}
|
|
20
21
|
const resolved = environment.resolveAny(ref);
|
|
@@ -22,14 +23,14 @@ export function analyzeDefinitions(environment) {
|
|
|
22
23
|
return undefined;
|
|
23
24
|
visiting.add(key);
|
|
24
25
|
const declaration = resolved.declaration;
|
|
25
|
-
const parents =
|
|
26
|
+
const parents = declaration.extends;
|
|
26
27
|
const parentAnalyses = parents.flatMap((parent) => {
|
|
27
28
|
const target = environment.resolveAny(parent);
|
|
28
29
|
if (target === undefined) {
|
|
29
|
-
diagnostics.push(diagnostic('DV_REF_RESOLVES', '', `Inheritance ref ${
|
|
30
|
+
diagnostics.push(diagnostic('DV_REF_RESOLVES', '', `Inheritance ref ${formatDefinitionRef(parent)} does not resolve.`, formatDefinitionRef(parent)));
|
|
30
31
|
return [];
|
|
31
32
|
}
|
|
32
|
-
const analysis = analyze(target.ref);
|
|
33
|
+
const analysis = target.ref.kind === 'class' ? analyze(target.ref) : undefined;
|
|
33
34
|
return analysis === undefined ? [] : [analysis];
|
|
34
35
|
});
|
|
35
36
|
const properties = mergeFields(parentAnalyses.map((parent) => parent.properties), ownFields(ref, declaration));
|
|
@@ -51,27 +52,18 @@ export function analyzeDefinitions(environment) {
|
|
|
51
52
|
}
|
|
52
53
|
return Object.freeze({ definitions: result, diagnostics: Object.freeze(diagnostics) });
|
|
53
54
|
}
|
|
54
|
-
function parentRefs(declaration, kind) {
|
|
55
|
-
if (kind === 'interface') {
|
|
56
|
-
return declaration.extends;
|
|
57
|
-
}
|
|
58
|
-
return declaration.implements;
|
|
59
|
-
}
|
|
60
55
|
function ownFields(owner, declaration) {
|
|
61
|
-
const root = declaration.properties;
|
|
62
|
-
const required = new Set(root.required);
|
|
63
56
|
const result = new Map();
|
|
64
|
-
for (const [name,
|
|
57
|
+
for (const [name, property] of Object.entries(declaration.properties)) {
|
|
65
58
|
const key = PropertyKey.of(owner, name);
|
|
66
|
-
const metadata = declaration.propertyMetadata[name];
|
|
67
59
|
result.set(key, {
|
|
68
60
|
identity: key,
|
|
69
61
|
owner,
|
|
70
62
|
name,
|
|
71
|
-
schema,
|
|
72
|
-
required: required
|
|
73
|
-
|
|
74
|
-
...(
|
|
63
|
+
schema: property.schema,
|
|
64
|
+
required: property.required,
|
|
65
|
+
...(property.auto === undefined ? {} : { auto: property.auto }),
|
|
66
|
+
...(property.state === undefined ? {} : { state: property.state }),
|
|
75
67
|
});
|
|
76
68
|
}
|
|
77
69
|
return result;
|
|
@@ -99,17 +91,17 @@ function mergeData(owner, declaration, parents, diagnostics) {
|
|
|
99
91
|
continue;
|
|
100
92
|
}
|
|
101
93
|
if (effective.identity !== parent.data.identity) {
|
|
102
|
-
diagnostics.push(diagnostic('DV_DATA_COMPOSITION', '', `Data has distinct declaring owners ${
|
|
94
|
+
diagnostics.push(diagnostic('DV_DATA_COMPOSITION', '', `Data has distinct declaring owners ${formatDefinitionRef(effective.owner)} and ${formatDefinitionRef(parent.data.owner)}.`));
|
|
103
95
|
}
|
|
104
96
|
}
|
|
105
97
|
const own = 'data' in declaration ? declaration.data : undefined;
|
|
106
98
|
if (own === undefined)
|
|
107
99
|
return effective;
|
|
108
100
|
if (effective !== undefined) {
|
|
109
|
-
diagnostics.push(diagnostic('DV_DATA_COMPOSITION', '', `Data redeclares the inherited contract from ${
|
|
101
|
+
diagnostics.push(diagnostic('DV_DATA_COMPOSITION', '', `Data redeclares the inherited contract from ${formatDefinitionRef(effective.owner)}.`));
|
|
110
102
|
}
|
|
111
103
|
return {
|
|
112
|
-
identity: `${
|
|
104
|
+
identity: `${definitionRefIndex(owner)}\u0000data`,
|
|
113
105
|
owner,
|
|
114
106
|
declaration: own,
|
|
115
107
|
};
|
|
@@ -135,7 +127,7 @@ function mergeMethods(owner, declaration, parents, diagnostics) {
|
|
|
135
127
|
const parentsForName = inherited.get(name) ?? [];
|
|
136
128
|
for (const parent of parentsForName) {
|
|
137
129
|
if (parent.declaration.inheritance === 'sealed') {
|
|
138
|
-
diagnostics.push(diagnostic('DV_METHOD_COMPOSITION', '', `Method ${name} cannot override sealed ${
|
|
130
|
+
diagnostics.push(diagnostic('DV_METHOD_COMPOSITION', '', `Method ${name} cannot override sealed ${formatDefinitionRef(parent.owner)}.${name}.`));
|
|
139
131
|
}
|
|
140
132
|
if (!sameMethodSignature(ownMethod, parent.declaration)) {
|
|
141
133
|
diagnostics.push(diagnostic('DV_METHOD_COMPOSITION', '', `Method ${name} does not exactly preserve its inherited signature.`));
|
|
@@ -146,7 +138,7 @@ function mergeMethods(owner, declaration, parents, diagnostics) {
|
|
|
146
138
|
}
|
|
147
139
|
}
|
|
148
140
|
result.set(name, {
|
|
149
|
-
identity: `${
|
|
141
|
+
identity: `${definitionRefIndex(owner)}\u0000method\u0000${name}`,
|
|
150
142
|
owner,
|
|
151
143
|
name,
|
|
152
144
|
declaration: ownMethod,
|
|
@@ -158,7 +150,7 @@ function mergeMethods(owner, declaration, parents, diagnostics) {
|
|
|
158
150
|
diagnostics.push(diagnostic('DV_METHOD_COMPOSITION', '', `Inherited method ${name} is ambiguous and has no local override.`));
|
|
159
151
|
}
|
|
160
152
|
}
|
|
161
|
-
if (
|
|
153
|
+
if (declaration.kind === 'node' && !declaration.abstract) {
|
|
162
154
|
for (const [name, method] of result) {
|
|
163
155
|
if (method.declaration.inheritance === 'abstract') {
|
|
164
156
|
diagnostics.push(diagnostic('DV_METHOD_COMPOSITION', '', `Concrete Class ${owner.name} leaves method ${name} abstract.`));
|
|
@@ -187,4 +179,3 @@ function canonicalMethodOutput(value) {
|
|
|
187
179
|
function canonicalPolicy(value) {
|
|
188
180
|
return json.serialize(value === undefined ? null : normalizePolicyChecks(value));
|
|
189
181
|
}
|
|
190
|
-
//# sourceMappingURL=analysis.js.map
|
|
@@ -1,3 +1,3 @@
|
|
|
1
|
-
import type { DomainSchemaIR } from '../
|
|
1
|
+
import type { DomainSchemaIR } from '../model/schema.js';
|
|
2
|
+
/** Produce the deterministic semantic document consumed by canonical JSON serialization. */
|
|
2
3
|
export declare function canonicalizeDomainSchema(schema: DomainSchemaIR): DomainSchemaIR;
|
|
3
|
-
//# sourceMappingURL=domain.d.ts.map
|
|
@@ -1,4 +1,3 @@
|
|
|
1
|
-
import type { Revision } from '
|
|
1
|
+
import type { Revision } from '../../addressing/index.js';
|
|
2
2
|
/** Content-address canonical DomainSchema bytes with the V1 revision algorithm. */
|
|
3
3
|
export declare function digestDomainSchemaBytes(bytes: Uint8Array): Revision;
|
|
4
|
-
//# sourceMappingURL=domain.digest.d.ts.map
|
|
@@ -1,9 +1,5 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { digestRevisionBytes } from '../../addressing/revision.js';
|
|
2
2
|
/** Content-address canonical DomainSchema bytes with the V1 revision algorithm. */
|
|
3
3
|
export function digestDomainSchemaBytes(bytes) {
|
|
4
|
-
|
|
5
|
-
for (const byte of sha256(bytes))
|
|
6
|
-
hexadecimal += byte.toString(16).padStart(2, '0');
|
|
7
|
-
return `sha256:${hexadecimal}`;
|
|
4
|
+
return digestRevisionBytes(bytes);
|
|
8
5
|
}
|
|
9
|
-
//# sourceMappingURL=domain.digest.js.map
|
|
@@ -1,226 +1,5 @@
|
|
|
1
|
-
import {
|
|
2
|
-
|
|
3
|
-
import { compareSchemaRefs, compareUnicode, } from '../reference.js';
|
|
4
|
-
import { canonicalizeValueSchema } from '../value/profile/canonicalize.js';
|
|
1
|
+
import { normalizeDomainSchema } from '../normalization/domain.js';
|
|
2
|
+
/** Produce the deterministic semantic document consumed by canonical JSON serialization. */
|
|
5
3
|
export function canonicalizeDomainSchema(schema) {
|
|
6
|
-
|
|
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);
|
|
4
|
+
return normalizeDomainSchema(schema);
|
|
32
5
|
}
|
|
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 value.orientation === 'directed'
|
|
63
|
-
? {
|
|
64
|
-
...base,
|
|
65
|
-
orientation: 'directed',
|
|
66
|
-
endpoints: canonicalizeDirectedEndpoints(value.endpoints),
|
|
67
|
-
constraints: value.constraints,
|
|
68
|
-
}
|
|
69
|
-
: {
|
|
70
|
-
...base,
|
|
71
|
-
orientation: 'undirected',
|
|
72
|
-
endpoints: canonicalizeIncidentEndpoints(value.endpoints),
|
|
73
|
-
constraints: value.constraints,
|
|
74
|
-
};
|
|
75
|
-
}
|
|
76
|
-
function canonicalizeClass(value) {
|
|
77
|
-
const base = {
|
|
78
|
-
...withDescription(value),
|
|
79
|
-
family: value.family,
|
|
80
|
-
implements: [...value.implements].sort(compareSchemaRefs),
|
|
81
|
-
properties: canonicalizePropertyFacet(value.properties),
|
|
82
|
-
propertyMetadata: canonicalizePropertyMetadata(value.propertyMetadata),
|
|
83
|
-
};
|
|
84
|
-
if (value.family === 'node') {
|
|
85
|
-
return {
|
|
86
|
-
...base,
|
|
87
|
-
methods: mapRecord(value.methods, canonicalizeMethod),
|
|
88
|
-
...(value.data === undefined ? {} : { data: { mediaType: value.data.mediaType } }),
|
|
89
|
-
...(value.icon === undefined ? {} : { icon: value.icon }),
|
|
90
|
-
policies: value.policies,
|
|
91
|
-
};
|
|
92
|
-
}
|
|
93
|
-
return value.orientation === 'directed'
|
|
94
|
-
? {
|
|
95
|
-
...base,
|
|
96
|
-
orientation: 'directed',
|
|
97
|
-
endpoints: canonicalizeDirectedEndpoints(value.endpoints),
|
|
98
|
-
policies: value.policies,
|
|
99
|
-
constraints: value.constraints,
|
|
100
|
-
}
|
|
101
|
-
: {
|
|
102
|
-
...base,
|
|
103
|
-
orientation: 'undirected',
|
|
104
|
-
endpoints: canonicalizeIncidentEndpoints(value.endpoints),
|
|
105
|
-
policies: value.policies,
|
|
106
|
-
constraints: value.constraints,
|
|
107
|
-
};
|
|
108
|
-
}
|
|
109
|
-
function canonicalizeFunction(value) {
|
|
110
|
-
return {
|
|
111
|
-
...withDescription(value),
|
|
112
|
-
input: canonicalizeValueSchema(value.input, 'callable-input'),
|
|
113
|
-
output: canonicalizeCallableOutput(value.output),
|
|
114
|
-
auth: value.auth,
|
|
115
|
-
...(value.policy === undefined ? {} : { policy: normalizePolicyChecks(value.policy) }),
|
|
116
|
-
};
|
|
117
|
-
}
|
|
118
|
-
function canonicalizeMethod(value) {
|
|
119
|
-
return {
|
|
120
|
-
...canonicalizeFunction(value),
|
|
121
|
-
static: value.static,
|
|
122
|
-
inheritance: value.inheritance,
|
|
123
|
-
};
|
|
124
|
-
}
|
|
125
|
-
function canonicalizeCallableOutput(value) {
|
|
126
|
-
switch (value.mode) {
|
|
127
|
-
case 'value':
|
|
128
|
-
return { mode: 'value', schema: canonicalizeValueSchema(value.schema, 'callable-output') };
|
|
129
|
-
case 'stream':
|
|
130
|
-
return { mode: 'stream', item: canonicalizeValueSchema(value.item, 'callable-output') };
|
|
131
|
-
case 'binary':
|
|
132
|
-
return { mode: 'binary' };
|
|
133
|
-
}
|
|
134
|
-
}
|
|
135
|
-
function canonicalizePropertyFacet(value) {
|
|
136
|
-
const canonical = canonicalizeValueSchema(value, 'property-facet');
|
|
137
|
-
return canonical;
|
|
138
|
-
}
|
|
139
|
-
function canonicalizePropertyMetadata(value) {
|
|
140
|
-
return Object.fromEntries(Object.entries(value)
|
|
141
|
-
.filter(([, metadata]) => metadata.visibility === 'private' || metadata.auto !== undefined)
|
|
142
|
-
.map(([name, metadata]) => [
|
|
143
|
-
name,
|
|
144
|
-
metadata.auto === undefined
|
|
145
|
-
? { visibility: metadata.visibility }
|
|
146
|
-
: {
|
|
147
|
-
visibility: metadata.visibility,
|
|
148
|
-
auto: {
|
|
149
|
-
on: [...new Set(metadata.auto.on)].sort(compareUnicode),
|
|
150
|
-
set: metadata.auto.set,
|
|
151
|
-
},
|
|
152
|
-
},
|
|
153
|
-
])
|
|
154
|
-
.sort(([left], [right]) => compareUnicode(left, right)));
|
|
155
|
-
}
|
|
156
|
-
function canonicalizeDirectedEndpoints(value) {
|
|
157
|
-
return {
|
|
158
|
-
...value,
|
|
159
|
-
source: { ...value.source, accepts: [...value.source.accepts].sort(compareSchemaRefs) },
|
|
160
|
-
target: { ...value.target, accepts: [...value.target.accepts].sort(compareSchemaRefs) },
|
|
161
|
-
};
|
|
162
|
-
}
|
|
163
|
-
function canonicalizeIncidentEndpoints(value) {
|
|
164
|
-
return [
|
|
165
|
-
{ ...value[0], accepts: [...value[0].accepts].sort(compareSchemaRefs) },
|
|
166
|
-
{ ...value[1], accepts: [...value[1].accepts].sort(compareSchemaRefs) },
|
|
167
|
-
];
|
|
168
|
-
}
|
|
169
|
-
function canonicalizeCoreEdge(edge, origin, orientationByClass) {
|
|
170
|
-
const isLocal = edge.class.origin === origin;
|
|
171
|
-
const isUndirected = isLocal && orientationByClass.get(edge.class.name) === 'undirected';
|
|
172
|
-
const [source, target] = isUndirected && compareCoreEndpoints(edge.source, edge.target) > 0
|
|
173
|
-
? [edge.target, edge.source]
|
|
174
|
-
: [edge.source, edge.target];
|
|
175
|
-
return {
|
|
176
|
-
class: edge.class,
|
|
177
|
-
source,
|
|
178
|
-
target,
|
|
179
|
-
properties: copyJsonValue(edge.properties),
|
|
180
|
-
};
|
|
181
|
-
}
|
|
182
|
-
function compareCoreEdges(left, right) {
|
|
183
|
-
return (compareSchemaRefs(left.class, right.class) ||
|
|
184
|
-
compareCoreEndpoints(left.source, right.source) ||
|
|
185
|
-
compareCoreEndpoints(left.target, right.target) ||
|
|
186
|
-
compareBytes(json.serialize(left.properties), json.serialize(right.properties)));
|
|
187
|
-
}
|
|
188
|
-
function compareCoreEndpoints(left, right) {
|
|
189
|
-
if (left.kind === 'domain')
|
|
190
|
-
return right.kind === 'domain' ? 0 : -1;
|
|
191
|
-
if (right.kind === 'domain')
|
|
192
|
-
return 1;
|
|
193
|
-
return compareSchemaRefs(left, right);
|
|
194
|
-
}
|
|
195
|
-
function compareBytes(left, right) {
|
|
196
|
-
const encoder = new TextEncoder();
|
|
197
|
-
const a = encoder.encode(left);
|
|
198
|
-
const b = encoder.encode(right);
|
|
199
|
-
const length = Math.min(a.length, b.length);
|
|
200
|
-
for (let index = 0; index < length; index++) {
|
|
201
|
-
if (a[index] !== b[index])
|
|
202
|
-
return (a[index] ?? 0) - (b[index] ?? 0);
|
|
203
|
-
}
|
|
204
|
-
return a.length - b.length;
|
|
205
|
-
}
|
|
206
|
-
function mapRecord(value, map) {
|
|
207
|
-
return Object.fromEntries(Object.entries(value)
|
|
208
|
-
.sort(([left], [right]) => compareUnicode(left, right))
|
|
209
|
-
.map(([name, entry]) => [name, map(entry, name)]));
|
|
210
|
-
}
|
|
211
|
-
function withDescription(value) {
|
|
212
|
-
return value.description === undefined ? {} : { description: value.description };
|
|
213
|
-
}
|
|
214
|
-
function copyJsonValue(value) {
|
|
215
|
-
if (typeof value === 'number') {
|
|
216
|
-
if (Object.is(value, -0))
|
|
217
|
-
throw new TypeError('Cannot canonicalize negative zero.');
|
|
218
|
-
return value;
|
|
219
|
-
}
|
|
220
|
-
if (value === null || typeof value !== 'object')
|
|
221
|
-
return value;
|
|
222
|
-
if (Array.isArray(value))
|
|
223
|
-
return value.map((entry) => copyJsonValue(entry));
|
|
224
|
-
return Object.fromEntries(Object.entries(value).map(([key, entry]) => [key, copyJsonValue(entry)]));
|
|
225
|
-
}
|
|
226
|
-
//# sourceMappingURL=domain.js.map
|