assurance(network): bind Seed extensions and prove assembled release

[attractor-set]

Summary

Strengthens ASET Network Alpha4 release assurance without changing its existing Forth, TLA or Petri semantic representations.

The Network now explicitly extends the exact bound Seed release representation-by-representation and proves the materialized Network release against the exact Seed ObserveUnknown boundary after build.

Seed extension bindings

Three assurance bindings are explicit:

• operational: exact Seed operational base → Network operational extension
• relational: exact Seed relational base → Network relational extension
• causal: exact Seed causal base → Network causal extension

SEMANTIC-PRECEDENCE NONE remains unchanged.

Seed semantics are not copied, redefined or overridden.

Release companions

English and Python remain downstream release companions rather than additional assurance representations.

• English extends the exact Seed English companion.
• Python composes the exact Seed Python base expression.
• Network Python does not reimplement Seed recognition behavior.

Post-build deductive assurance

The materialized Network release is proved after build against the exact materialized Seed release.

Final theorem:

AssembledNetworkPreservesExactSeedObserveUnknownBoundary

Mechanical result:

ALPHA4_NETWORK_RELEASE_TLAPS_OBLIGATIONS=5 PASS

Network release tree:

sha256:a87debf4cd1f122cd5e203b7104859ef3b27e854669f5bd2ada838fe8d8367f6

Exact Seed release tree:

sha256:136e174a987ee961877472eecac3903e4f1e54a68059815e9b84e8fb966e00cc

The proof uses exact Seed operator ObserveUnknown.

Verification

• semantic representation source delta: NONE
• repository minimality: PASS
• pytest: 36/36 PASS
• Network profile TLAPS: 60 obligations PASS
• Federation TLC: PASS
• Federation×Liveness TLC: PASS
• deterministic release build: PASS
• deterministic companion build: PASS
• post-build TLAPS: 5/5 PASS
• Python air-gap: 446/446 PASS
• exact Seed Python base: PASS
• Seed assurance bindings: 3/3 PASS
• Seed redefinition: ABSENT
• English Seed base: EXACT
• Python Seed base: EXACT
• archive binding: EXACT
• release admission certificate: PASS
• complete Network release gate: PASS

Candidate commit:

7f618a6

Candidate tree:

15fadc25bee48fdafbffa3d158a7d71d28a4eb3d