assurance(runtime): establish Seed-preserving Alpha4 runtime

[attractor-set]

Summary

Replaces the legacy active Runtime/Worker surface with the minimal ASET Runtime Alpha4 architecture.

ASET Runtime owns bounded execution lifecycle state only.

Execution may produce material. Recognition remains local to Seed.

Semantic architecture

Runtime has independently authored:

• operational representation
• relational representation
• causal representation

Semantic precedence remains NONE.

Bounded three-way assurance:

• component bindings: 8/8 PASS
• bounded cases: 2420/2420 PASS
• operational ↔ relational: 2420/2420 PASS
• operational ↔ causal: 2420/2420 PASS
• relational ↔ causal: 2420/2420 PASS
• representation source independence: PASS

Exact Seed extension

Runtime extends the exact Seed preservation boundary:

• operational extension: PASS
• relational extension: PASS
• causal extension: PASS
• exact bindings: 3/3 PASS
• Seed redefinition: ABSENT
• Seed projection: STUTTER

Exact Seed preservation operators:

• PreserveUnknown
• PreserveAllow
• PreserveBlock

Formal assurance

Source TLAPS:

• OperationalRelationalPairingProofs: 17 obligations PASS
• SeedBoundaryProofs: 5 obligations PASS
• total: 22 obligations PASS

Post-build deductive assurance:

AssembledRuntimePreservesExactSeedBoundary

• obligations: 3/3 PASS
• semantic delta: NONE
• semantic-source dependency: NONE

Companion extensions

• English Seed base: EXACT
• Python Seed base: EXACT
• Python Seed projection: STUTTER
• Python air-gap: 7260/7260 PASS
• Python semantic-source dependency: NONE
• Python generator dependency: NONE

Release assurance

• release determinism: PASS
• profile determinism: PASS
• archive binding: EXACT
• release admission certificate: PASS
• public release audit: PASS
• complete Runtime release gate: PASS

Release tree:

sha256:e7bd5c20d23c84d37620fd8a7143d2bbb166e62a5fe89b7d7ca419c4b8194b34

Release archive:

sha256:f677d28843680be3e72296fd6ee6e84cfbf6879444b53b47c7f847f242125ba6

Profiles tree:

sha256:24969c1d5163240a5ebcda8378200d7d48bbda37db8e73b7423710a7a5d9fe2a

Profiles archive:

sha256:b91b8332b00587e4e7f6e7469faf1503a9c7df6b019d1609d934ec7e948dcaa3

Public identity

The public surface is aligned with ASET Seed attribution and release style:

• project identity: ASET Runtime
• author: Dzmitry Prychyna
• public identity: Attractor Set
• license: Apache-2.0
• public assurance representations: OPERATIONAL, RELATIONAL, CAUSAL
• Seed redefinition: ABSENT
• Seed projection: STUTTER
• post-build formal assurance: PASS
• public release audit: PASS

Commit structure

Architecture:

179afd796e92d16e9b9fed561597d65a0899e0b3

Public surface:

16a14815e3ec6d2ceac0ebf57c6e063070794b47

Final candidate tree:

47dc43576ca372738d93552e99c987a7b771b6fa