Edition manifest alpha-2026 (LP-105)
Generated by
debug/edition-manifest.pyat 2026-09-20T04:18:02Z (HEADf2e7a470). Binds every PRD §9.2 item to a live artifact or marks itunboundwith the requirement that will bind it. Fail closed: A consumer must reject this edition if any item it depends on is bound:false (PRD §9.2). Do not edit by hand.
15 bound, 0 unbound.
| §9.2 item | bound | binding | source (sha256) |
|---|---|---|---|
| lexical-grammar | yes | identifier=[a-z][A-Za-z0-9-]* / [A-Z][A-Za-z0-9]*; comment=-- to end of line; s-expression=True | bootstrap/haskell/packages/alpha-surface/src/Alpha/Surface/Parser.hs d9950475fd47b8f0 |
| concrete-syntax-schema | yes | surface_heads=78; app_arity=n-ary (left-folded) | bootstrap/haskell/packages/alpha-surface/src/Alpha/Surface/Parser.hs d9950475fd47b8f0 |
| abstract-syntax-schema | yes | spec_document=docs/language/SPECIFICATION.md; surface_forms_documented=67 | docs/language/SPECIFICATION.md e051d05ed7c51c3b |
| module-grammar | yes | declarations=12; ordering=an import must name an earlier module (topological closure) | bootstrap/haskell/packages/alpha-surface/src/Alpha/Surface/Module.hs 5f714ee4bb6ee2e6 |
| core-constructors | yes | count=76; constructors=76 | bootstrap/haskell/packages/alpha-core/src/Alpha/Core/Trusted/Syntax.hs deb8b9223db2ad60 |
| quantities | yes | erased, affine, linear, unrestricted | bootstrap/haskell/packages/alpha-surface/src/Alpha/Surface/Parser.hs d9950475fd47b8f0 |
| effect-semantics | yes | effects=6; rows=REffectRow / REffectRowType (kernel) | bootstrap/haskell/packages/alpha-core/src/Alpha/Core/Trusted/Kernel.hs b96f613167a3052c |
| totality-and-family-rules | yes | kernel_terms_found=1; family_declarations=7 | bootstrap/haskell/packages/alpha-core/src/Alpha/Core/Trusted/Kernel.hs b96f613167a3052c |
| diagnostic-schema-version | yes | schema=alpha-diagnostic-v1; document=docs/schemas/alpha-diagnostic-v1.schema.json; codes=134 | docs/schemas/alpha-diagnostic-v1.schema.json 673b181139a163ef |
| erasure-schema | yes | implementation=bootstrap/haskell/packages/alpha-core/src/Alpha/Core/Erasure.hs; versioned_schema=False | bootstrap/haskell/packages/alpha-core/src/Alpha/Core/Erasure.hs fe1da0f53c03d759 |
| checked-interface-schema | yes | schema=alpha-checked-interface-v7; implementation=bootstrap/haskell/packages/alpha-surface/src/Alpha/Surface/Interface.hs | bootstrap/haskell/packages/alpha-surface/src/Alpha/Surface/Interface.hs 185aeb6c34b03e4f |
| runtime-object-artifact-schemas | yes | object_schema=alpha-native-object-v1; receipt_schema=alpha-receipt-v1; release_bundle_schema=alpha-release-bundle-v1; implementation=bootstrap/haskell/packages/alpha-compiler/src/Alpha/Compiler/NativeObject.hs; target=x86_64-linux | bootstrap/haskell/packages/alpha-compiler/src/Alpha/Compiler/NativeObject.hs 273fa6a513368342 |
| stdlib-compatibility-floor | yes | root=packages/foundation/standard/src/Std/Library.alpha; areas=25; policy=additive within an edition; a removal or a signature change is an edition boundary | packages/foundation/standard/src/Std/Library.alpha a4ce804122e8ce4b |
| compiler-implementation-identities | yes | 0add92d8bfe4a0df52291e291f80bbb2979eb0d2a3b47e4ebbe0dd1fb9b4998d | docs/baseline/BASELINE-2026-09-03.txt |
| conformance-suite-identity | yes | suite=tests/alpha-tests; runner=alpha test; cases=67 | tests/alpha-tests e5a6a0b5fdc2680c |
Feature registry: docs/generated/ALPHA-FEATURE-REGISTRY.json (e231ed4d2164d116) — 78 features, 0 stable.