spec-execution 0.1.0

Typed spec and proof surface crate with bounded generated-artifact evaluators; not a compiler runtime
Documentation

spec-execution

Typed surface crate for v20 spec bundles, normative ASTs, generated artifacts, proof obligations, and veto/challenge surfaces.

Usage

use spec_execution::{SpecBundleV1, NormativeAstV1, ProofObligationSetV1};

Owns

  • spec bundles
  • normative ASTs
  • generated schema/interpreter/corpus/migration bundles
  • proof obligation sets and proof evaluation receipts
  • self-hosting build receipts
  • human veto and meta challenge bundles

Does not own

  • silent auto-amendment
  • authoritative constitutional admission
  • hidden override over human governance

Ecosystem

Depends on:

  • stack-ids -- identity primitives (SpecBundleId, NormativeAstId, ProofObligationSetId, ContentDigest, etc.)

Depended on by:

  • kernel-conformance
  • contract-schema-gen

stack-ids integration

Uses SpecBundleId, NormativeAstId, GeneratedSchemaBundleId, GeneratedInterpreterBundleId, GeneratedConformanceCorpusId, GeneratedMigrationPlanId, ProofObligationSetId, ProofEvaluationReceiptId, HumanVetoBundleId, MetaChallengeBundleId, SelfHostingBuildReceiptId, ContentDigest, and SurfaceStatus from stack-ids.