spec-execution-0.1.0
- spec-execution 0.1.0
- Docs.rs crate page
- MIT
- 05 July 2026
- Links
- crates.io
- Source
- Owners
- RecursiveIntell
- Dependencies
- schemars ^0.8.22 normal
  serde ^1.0.228 normal
  serde_json ^1.0.149 normal
  stack-ids ^0.1.1 normal
  tracing ^0.1.44 normal
  proptest ^1.10.0 dev
  serde_json ^1.0.149 dev
- Versions
- 0.73% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

All

spec_execution0.1.0

Crate Items

Structs
Enums
Constants
Functions

List of all items

Structs

GeneratedCompanionBundles
GeneratedConformanceCorpusV1
GeneratedInterpreterBundleV1
GeneratedMigrationPlanV1
GeneratedSchemaBundleV1
GeneratedSchemaFileV1
HumanVetoBundleV1
MetaChallengeBundleV1
NormativeASTV1
NormativeAstNodeV1
ProofEvaluationReceiptV1
ProofObligationSetV1
ProofObligationV1
SelfHostingBuildReceiptV1
SpecBundleV1

Enums

GeneratedAdmissionState
GeneratedSurfaceGovernanceState
SurfaceStatus

Functions

establish_veto_challenge_baseline
generate_companion_bundles
generate_schema_bundle

Constants

GENERATED_CONFORMANCE_CORPUS_V1_SCHEMA
GENERATED_INTERPRETER_BUNDLE_V1_SCHEMA
GENERATED_MIGRATION_PLAN_V1_SCHEMA
GENERATED_SCHEMA_BUNDLE_V1_SCHEMA
HUMAN_VETO_BUNDLE_V1_SCHEMA
META_CHALLENGE_BUNDLE_V1_SCHEMA
NORMATIVE_AST_V1_SCHEMA
PROOF_EVALUATION_RECEIPT_V1_SCHEMA
PROOF_OBLIGATION_SET_V1_SCHEMA
SELF_HOSTING_BUILD_RECEIPT_V1_SCHEMA
SPEC_BUNDLE_V1_SCHEMA