Crate spec_execution 

Typed spec and proof surface crate for generated artifact families.

The crate keeps the historical compatibility name, but it does not claim a full execution runtime. It publishes spec/proof schemas and bounded evaluation artifacts for later admission elsewhere.

Structs

GeneratedCompanionBundles

GeneratedConformanceCorpusV1

GeneratedInterpreterBundleV1

GeneratedMigrationPlanV1

GeneratedSchemaBundleV1

GeneratedSchemaFileV1

HumanVetoBundleV1

MetaChallengeBundleV1

NormativeASTV1

NormativeAstNodeV1

ProofEvaluationReceiptV1

ProofObligationSetV1

ProofObligationV1

SelfHostingBuildReceiptV1

SpecBundleV1

Enums

GeneratedAdmissionState

GeneratedSurfaceGovernanceState

SurfaceStatus

Shared publication-status primitive for thin governance/profile surfaces.

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

Functions

establish_veto_challenge_baseline

generate_companion_bundles

generate_schema_bundle