application: bounded promotion experiments, deterministic lineage, facts ablation

[0thernet]

Summary

• algal.application-experiment.v1: bounded join (≤8 proposals, ≤8 evaluations, comparison, selection-policy, selection, {promoted, revision} result) verifiable byte-for-byte; default host replays cited experiments and binds result.revision to the committed revision
• algal.application-selection.v1: retained policy-row resolution record + select-record/verify-selection CLIs
• application lineage (Bun + native): deterministic genesis→head projection — a view, not storage; admission-denied
• Structured-facts ablation parity leg: demonstrates fact-presence discrimination only, no Datalog benefit attribution
• Spec sections for the experiment record, promotion-evidence join, and lineage; milestone-3 docs updated

Test plan

• bun run check (878 tests incl. 36 experiment assertions)
• cargo fmt / clippy -D warnings / test / build
• application-parity 243 steps identical on the integrated tree (drain + experiment legs)
• cli-parity 65 · store-parity 15 · process-parity 58 · native-parity 62

Generated with Devin

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated
algal	Ready	Preview	Sep 23, 2026 8:24am UTC