Invocation, options and results
링크topaz lispex embed info
topaz lispex embed info --format json
입력
The complete form is topaz lispex embed info -. Require the format option exactly once with a separate json value.
Reject the omitted format, -, -, equals forms, repeated options, positional operands and every unlisted option. No compiler or language version selector is accepted.
옵션과 충돌
| 옵션 | 기본값 | 계약 | 충돌 |
|---|---|---|---|
--format json | 미지정 | Required output format. Use json to read the embedded component report. | 없음 |
출력 채널
stdout
stderr
종료 상태
0
The complete embedded component report is written.
2
Command arguments are invalid.
4
Embedded component verification or runtime inspection fails.
효과
Read the embedded component and installed runtime identity. Do not create an output directory, save source or modify caller files.
Do not scan user directories for alternate evaluator components.
Perform no network access, registry lookup or component download.
The same executable bytes, admitted component, runtime policy and target produce the same JSON bytes. Identity fields describe the installed product and contain no invocation timestamp or randomly allocated path.
Do not load the current directory as a Topaz package. Ignore no package option silently because package options are rejected. No manifest, lock or vendor directory is read or changed.
Operation
링크Use the JSON report to identify the embedded evaluator before preparing a request.
Example contract
링크Example contract
The invocation topaz lispex embed info main. is expected to exit with 2.
The component report requires info -. The extra fixture operand and language selector cause this invocation to be rejected.
이유
The component report describes the embedded evaluator in the installed executable. Rejecting source operands and language selectors avoids implying that they select a different component.
Behavior contract
링크Command behavior
Arguments and rejection
The complete form is topaz lispex embed info -. Require the format option exactly once with a separate json value.
Reject the omitted format, -, -, equals forms, repeated options, positional operands and every unlisted option. No compiler or language version selector is accepted.
Output
Write one UTF-8 JSON object followed by a newline to standard output. The schema is topaz..
The object contains schema, admission, component, contract, runtime, semantic, discovery, fallback, portable and selectors. The last four fields are booleans and are false.
component contains the component id, artifact and manifest. contract contains id and manifest. semantic contains abi, cost, profile and value. runtime contains id, policy, policy, integer safety and target. Admission identities and release describe the installed release.
There is no human output mode. Usage or inspection failures write a human explanation to standard error and no successful JSON report.
Exit status
Exit 0 after writing the complete component report.
Exit 2 for invalid command arguments. Exit 4 when embedded component verification or runtime inspection fails. Report inspection does not use exit 3 because it evaluates no caller request.
Filesystem effects
Read the embedded component and installed runtime identity. Do not create an output directory, save source or modify caller files.
Do not scan user directories for alternate evaluator components.
Network access
Perform no network access, registry lookup or component download.
Reproducibility
The same executable bytes, admitted component, runtime policy and target produce the same JSON bytes. Identity fields describe the installed product and contain no invocation timestamp or randomly allocated path.
Packages and locks
Do not load the current directory as a Topaz package. Ignore no package option silently because package options are rejected. No manifest, lock or vendor directory is read or changed.
이유
The component report describes the evaluator that is already installed. Allowing source or selection arguments would imply a different component could be inspected. Its mandatory structured representation gives callers one explicit way to request that report.
The linked public CLI recipe checks the exact displayed argument rejection before the requested operation. It does not execute the successful operation or verify its effects.
The reviewed recipe adds a forbidden fixture operand and language selector. A successful exact component report is outside that recipe and has not been executed in this sandbox.
Example
링크Argument-rejection example
링크function identity<T>(value: T) -> T {value}
기대 결과
기대 결과
Textual rejection details remain Pending in the reference model. The independent Tools example gate expects exit 2.
The component report requires info -. The extra fixture operand and language selector cause this invocation to be rejected.
Verification scope
링크Observed with Topaz 5.21.3 on 2026-11-06T08:36:29.642Z. This invocation passed; exit 2. 3 assertions were evaluated against the independent expected result. Execution record. This result covers the displayed invocation.