본문으로 건너뛰기
토파즈6.0 · 출시 전
다운로드 →

문서 검색

명세 6.0

방향키로 결과를 고르고 Enter를 눌러 여세요.

API 이름, 진단 번호, 규칙 또는 프로젝트 주제를 입력하세요.

    라이브러리 · std.lispex

    LispexValueError.LimitExceeded

    Report exhaustion of a host conversion budget.

    LispexValueError.LimitExceeded(LispexBoundaryReport)
    수신자
    해당 없음
    최소 인자 수
    1
    최대 인자 수
    1

    Declaration and parameters

    링크

    사용 조건

    기본 포함 · 아니요

    Import std.lispex from an application package with a verified lock. Packages with [lispex] require --locked. Application profile topaz/lispex-decision-application/1 uses evaluator profile lispex/r7rs-rule-embedded-core/1. Application profile topaz/lispex-decision-application/2 uses evaluator profile lispex/r7rs-rule-current-profile-bounded/1.

    The generated-module resolver gate starts at language mode 5.18. Compatibility of this API with earlier released editions remains Pending. Target deployment conditions are native (native-only), web (web-isolated-workers), web-worker (web-isolated-workers). Runtime payload follows checker-reached rules. An empty reached-rule set includes no runtime payload. Application quotas are required. Lock-only packages do not receive these application modules.

    수신자

    해당 없음

    매개변수 제약

    추가 계약은 미정입니다.

    LispexValue is an immutable validated Datum handle. Its codec identity travels with the value. Guest inputs and successful results use this same representation. Equality follows the selected canonical value contract.

    valueFromCanonical accepts an admitted package, immutable bytes and complete finite host limits. Decode exactly one complete canonical Datum under the package codec. Reject malformed bytes, trailing values, unsupported versions and noncanonical representations as InvalidCanonicalValue.

    valueFromDatum accepts a LispexDatumView and creates a detached immutable snapshot. Boolean accepts a bool. Number accepts exact BigInt numerator and denominator values and normalizes their rational value. A zero denominator returns InvalidDatum. No inexact floating value is accepted.

    Character accepts exactly one Unicode scalar. Empty text, several scalars and invalid scalar representations return InvalidDatum. Symbol and Text preserve their scalar sequences without normalization or case conversion. Empty symbols follow the selected Datum codec contract.

    EmptyList is the empty list value. Pair holds two validated values. Vector copies its Array of validated values in order. Bytevector retains exact immutable bytes. Every child must use the same admitted codec contract. A mismatched child returns InvalidDatum before guest entry.

    The exposed view has no procedure, callback or host object alternative. A procedure cannot be hidden in Pair or Vector because each child must already be a validated LispexValue. Construction does not follow host reference graphs. Mutating a source Array after conversion cannot change the sealed value.

    valueView returns a detached view of the same value. Number exposes the normalized exact numerator and positive denominator. Aggregate views contain sealed child handles. Changing a returned Array changes that view and does not mutate the LispexValue.

    Conversions reserve their work, allocation, traversal frames, input and result channels under LispexHostLimits. Host conversion exhaustion returns LimitExceeded with the first axis. A failure returns no prefix or partly valid value. It creates no canonical evaluation outcome or receipt.

    canonicalBytes returns the immutable canonical bytes established when the handle was created. It does not decode, evaluate, discover a codec or perform fresh serialization. The handle retains that bounded representation, so reading it starts no new guest or host work account.

    Host conversion work is separate from evaluation work. Evaluation still charges canonical input decoding and canonical result or failure encoding under its own limits. Prevalidated bytes cannot bypass those charges.

    The same value, codec and explicit conversion limits have the same accepted canonical bytes or deterministic conversion refusal. Exact codec bytes and normalization encodings belong to the admitted versioned Lispex contract. Legacy 1.21 bytes are never relabeled as 2.0 bytes.

    관련 규칙 · Exchange exact immutable Datum values →

    결과

    미정

    효과

    미정

    실패

    미정

    Result and effects

    링크

    Report exhaustion of a host conversion budget.

    Why

    링크

    The values contract gives this operation one explicit input boundary and preserves the distinct result and failure cases.

    Related entries

    링크

    std.lispex →

    Exchange exact immutable Datum values

    링크
    규칙topaz.stdlib.contract.lispex-values.rule

    Exchange exact immutable Datum values

    LispexValue is an immutable validated Datum handle. Its codec identity travels with the value. Guest inputs and successful results use this same representation. Equality follows the selected canonical value contract.

    valueFromCanonical accepts an admitted package, immutable bytes and complete finite host limits. Decode exactly one complete canonical Datum under the package codec. Reject malformed bytes, trailing values, unsupported versions and noncanonical representations as InvalidCanonicalValue.

    valueFromDatum accepts a LispexDatumView and creates a detached immutable snapshot. Boolean accepts a bool. Number accepts exact BigInt numerator and denominator values and normalizes their rational value. A zero denominator returns InvalidDatum. No inexact floating value is accepted.

    Character accepts exactly one Unicode scalar. Empty text, several scalars and invalid scalar representations return InvalidDatum. Symbol and Text preserve their scalar sequences without normalization or case conversion. Empty symbols follow the selected Datum codec contract.

    EmptyList is the empty list value. Pair holds two validated values. Vector copies its Array of validated values in order. Bytevector retains exact immutable bytes. Every child must use the same admitted codec contract. A mismatched child returns InvalidDatum before guest entry.

    The exposed view has no procedure, callback or host object alternative. A procedure cannot be hidden in Pair or Vector because each child must already be a validated LispexValue. Construction does not follow host reference graphs. Mutating a source Array after conversion cannot change the sealed value.

    valueView returns a detached view of the same value. Number exposes the normalized exact numerator and positive denominator. Aggregate views contain sealed child handles. Changing a returned Array changes that view and does not mutate the LispexValue.

    Conversions reserve their work, allocation, traversal frames, input and result channels under LispexHostLimits. Host conversion exhaustion returns LimitExceeded with the first axis. A failure returns no prefix or partly valid value. It creates no canonical evaluation outcome or receipt.

    canonicalBytes returns the immutable canonical bytes established when the handle was created. It does not decode, evaluate, discover a codec or perform fresh serialization. The handle retains that bounded representation, so reading it starts no new guest or host work account.

    Host conversion work is separate from evaluation work. Evaluation still charges canonical input decoding and canonical result or failure encoding under its own limits. Prevalidated bytes cannot bypass those charges.

    The same value, codec and explicit conversion limits have the same accepted canonical bytes or deterministic conversion refusal. Exact codec bytes and normalization encodings belong to the admitted versioned Lispex contract. Legacy 1.21 bytes are never relabeled as 2.0 bytes.

    이유

    Canonical bytes serve interchange. Datum views serve typed host construction and inspection. These are different intentions even when they describe the same value. Immutable snapshots keep host mutation from changing a request after it has been identified.

    예제 Preserve an explicit Boolean input →Round trip exact values and isolate host mutations →

    Preserve an explicit Boolean input

    링크

    run · running · 검증 · 미실행

    src/main.tpzPreserve an explicit Boolean input플레이그라운드 열기 →
    1. import std.bytes { Bytes }
    2. import std.io
    3. import std.test
    4. import std.lispex {
    5. LispexPackage,
    6. LispexBoundaryReport,
    7. LispexLimitPreset,
    8. LispexLimits,
    9. LispexSource,
    10. LispexSourceBundle,
    11. PreparedLispexRule,
    12. LispexPreparationError,
    13. LispexDatumView,
    14. LispexValue,
    15. LispexValueError,
    16. LispexEvaluation,
    17. LispexAttemptError,
    18. LispexSettlement,
    19. applicationPackage,
    20. defaultLimits,
    21. prepare,
    22. valueFromDatum,
    23. canonicalBytes,
    24. evaluate,
    25. }
    27. export function main(args: Array<string>, stdin: string) -> Result<int, string> {
    28. let packageResult: Result<LispexPackage, LispexBoundaryReport> = applicationPackage()
    29. let application: LispexPackage = test.assertOk(packageResult)
    30. let preset: LispexLimitPreset = defaultLimits()
    31. let source: LispexSource = LispexSource {
    32. name: "main",
    33. source: "(module main (import) (export rule) (entry rule) (define rule (lambda (input) input)))\n".encodeUtf8(),
    34. }
    35. let bundle: LispexSourceBundle = LispexSourceBundle {
    36. modules: [source],
    37. root: "main",
    38. }
    39. let prepared: Result<PreparedLispexRule, LispexPreparationError> = prepare(application, bundle, preset.preparation)
    40. let rule: PreparedLispexRule = test.assertOk(prepared)
    41. let converted: Result<LispexValue, LispexValueError> = valueFromDatum(application, LispexDatumView.Boolean(true), preset.host)
    42. let input: LispexValue = test.assertOk(converted)
    43. let attempt: Result<LispexEvaluation, LispexAttemptError> = evaluate(rule, input, preset.evaluation)
    44. let evaluation: LispexEvaluation = test.assertOk(attempt)
    45. match (evaluation.settlement) {
    46. case Complete(output) => {
    47. let expected: Bytes = canonicalBytes(input)
    48. let actual: Bytes = canonicalBytes(output)
    49. io.writeLine("{actual.toHex() == expected.toHex()}")
    50. }
    51. case _ => io.writeLine("unexpected outcome")
    52. }
    53. return Ok(0)
    54. }
    기대 출력종료 코드 0
    true
    $ topaz run --root . --locked · 대상 제품 5.21.3
    기대 결과

    기대 결과

    실행을 마칩니다. 종료 코드 0.

    표준 오류 출력 없음.

    기대 표준 출력
    1. true

    이 예제는 아직 실행하지 않았습니다.

    Run this source inside the verified Lispex application supplied through TOPAZ_LISPEX_APPLICATION. The example expects the Lispex 2.0 host contract.

    Round trip exact values and isolate host mutations

    링크

    run · running · 검증 · 미실행

    src/main.tpzRound trip exact values and isolate host mutations플레이그라운드 열기 →
    1. import std.bigint { BigInt }
    2. import std.bytes { Bytes }
    3. import std.io
    4. import std.test
    5. import std.lispex {
    6. LispexPackage, LispexBoundaryReport, LispexLimitPreset, LispexDatumView,
    7. LispexValue, LispexValueError, applicationPackage, defaultLimits,
    8. valueFromDatum, valueFromCanonical, valueView, canonicalBytes,
    9. }
    11. function conversionFailure(error: LispexValueError) -> string {
    12. return match (error) {
    13. case InvalidCanonicalValue(report) => report.code
    14. case InvalidDatum(report) => report.code
    15. case LimitExceeded(report) => report.code
    16. }
    17. }
    19. export function main(args: Array<string>, stdin: string) -> Result<int, string> {
    20. let packageResult: Result<LispexPackage, LispexBoundaryReport> = applicationPackage()
    21. let package: LispexPackage = test.assertOk(packageResult)
    22. let limits: LispexLimitPreset = defaultLimits()
    23. let numeratorResult: Option<BigInt> = BigInt.parse("2", 10)
    24. let denominatorResult: Option<BigInt> = BigInt.parse("4", 10)
    25. let zeroResult: Option<BigInt> = BigInt.parse("0", 10)
    26. let numerator: BigInt = test.assertSome(numeratorResult)
    27. let denominator: BigInt = test.assertSome(denominatorResult)
    28. let zero: BigInt = test.assertSome(zeroResult)
    29. let built: Result<LispexValue, LispexValueError> = valueFromDatum(package, LispexDatumView.Number(numerator, denominator), limits.host)
    30. let value: LispexValue = test.assertOk(built)
    31. let bytes: Bytes = canonicalBytes(value)
    32. let decoded: Result<LispexValue, LispexValueError> = valueFromCanonical(package, bytes, limits.host)
    33. let restored: LispexValue = test.assertOk(decoded)
    34. io.writeLine("{canonicalBytes(restored).toHex() == bytes.toHex()}")
    35. let viewed: Result<LispexDatumView, LispexValueError> = valueView(value, limits.host)
    36. let view: LispexDatumView = test.assertOk(viewed)
    37. match (view) {
    38. case Number(n, d) => io.writeLine("{n.toString(10)}/{d.toString(10)}")
    39. case _ => io.writeLine("unexpected view")
    40. }
    41. let mut items: Array<LispexValue> = [value]
    42. let vectorResult: Result<LispexValue, LispexValueError> = valueFromDatum(package, LispexDatumView.Vector(items), limits.host)
    43. let vector: LispexValue = test.assertOk(vectorResult)
    44. let emptyResult: Result<LispexValue, LispexValueError> = valueFromDatum(package, LispexDatumView.EmptyList(), limits.host)
    45. let empty: LispexValue = test.assertOk(emptyResult)
    46. items[0] = empty
    47. let vectorViewResult: Result<LispexDatumView, LispexValueError> = valueView(vector, limits.host)
    48. let vectorView: LispexDatumView = test.assertOk(vectorViewResult)
    49. match (vectorView) {
    50. case Vector(snapshot) => io.writeLine("{canonicalBytes(snapshot[0]).toHex() == bytes.toHex()}")
    51. case _ => io.writeLine("unexpected vector")
    52. }
    53. let invalid: Result<LispexValue, LispexValueError> = valueFromDatum(package, LispexDatumView.Number(numerator, zero), limits.host)
    54. match (invalid) {
    55. case Err(InvalidDatum(report)) => io.writeLine("{report.code != ""}")
    56. case _ => io.writeLine("unexpected conversion")
    57. }
    58. let otherKinds: Array<LispexDatumView> = [
    59. LispexDatumView.Character("a"),
    60. LispexDatumView.Symbol("rule"),
    61. LispexDatumView.Pair(value, empty),
    62. LispexDatumView.Bytevector("abc".encodeUtf8()),
    63. ]
    64. for datum in (otherKinds) {
    65. let convertedKind: Result<LispexValue, LispexValueError> = valueFromDatum(package, datum, limits.host)
    66. let kindValue: LispexValue = test.assertOk(convertedKind)
    67. let kindBytes: Bytes = canonicalBytes(kindValue)
    68. let decodedKind: Result<LispexValue, LispexValueError> = valueFromCanonical(package, kindBytes, limits.host)
    69. let kindCopy: LispexValue = test.assertOk(decodedKind)
    70. io.writeLine("{canonicalBytes(kindCopy).toHex() == kindBytes.toHex()}")
    71. }
    72. return Ok(0)
    73. }
    기대 출력종료 코드 0
    true
1/2
true
true
true
true
true
true
    $ topaz run --root . --locked · 대상 제품 5.21.3
    기대 결과

    기대 결과

    실행을 마칩니다. 종료 코드 0.

    표준 오류 출력 없음.

    기대 표준 출력
    1. true
    2. 1/2
    3. true
    4. true
    5. true
    6. true
    7. true
    8. true

    이 예제는 아직 실행하지 않았습니다.

    Use a verified Lispex application package supplied through TOPAZ_LISPEX_APPLICATION. This example specifies the Lispex 2.0 behavior. The product scope remains the public 5.21.3 observation scope.

    메뉴

    다운로드 →