feat(composition): add bounded AIC-to-AEB exact-action mappings - #685

Merged

FutureEnterprises merged 17 commits into

mainfrom

feat/aic-crossing-profile-v02

Sep 2, 2026

Commits on Sep 1, 2026

feat(composition): bind AIC crossing carrier provenance
FutureEnterprises
committed
a295d46
fix(composition): pin AIC status freshness profile
FutureEnterprises
committed
08f317d
test(composition): lock AIC audit regressions
FutureEnterprises
committed
845c1db
fix(composition): close AIC authority binding gaps
FutureEnterprises
committed
56d545c
test(composition): harden AIC conformance evidence
FutureEnterprises
committed
b5ebe1d
fix(composition): keep AIC runner type-safe
FutureEnterprises
committed
0a9f0c4
test(composition): expose AIC expiry and snapshot races
FutureEnterprises
committed
601e61c
fix(composition): close AIC expiry and snapshot races
FutureEnterprises
committed
fcf81b6
chore(formal): refresh AIC runtime trace inputs
FutureEnterprises
committed
910db46
docs(security): refresh AIC evidence bindings
FutureEnterprises
committed
df4d0d8
docs(evidence): refresh AIC proof totals
FutureEnterprises
committed
2201e6f
docs(evidence): refresh conformance manifest for AIC
FutureEnterprises
committed
15d31c3
docs(context): refresh AIC evidence provenance
FutureEnterprises
committed
6278c0c
test(conformance): repin clean-room v2 to AIC manifest
FutureEnterprises
committed
57cffde
docs(evidence): refresh proof census after AIC
FutureEnterprises
committed
a1729be
docs(context): bind final AIC proof snapshot
FutureEnterprises
committed
e2054d3
docs(preprint): repin AIC conformance evidence
FutureEnterprises
committed
4dffbf6