Proof Exchange — BMW decides, partners supply the proof

AutoResilience / Proof ExchangeSynthetic reference

BMW decides. Partners supply the proof.

We obtain the minimum signed supplier fact needed to keep unaffected vehicles moving—without taking the partner's underlying records.

Executive action

Ask the evidence owners one bounded question, verify their signed answer, and recalculate the decision for 24,680 synthetic vehicles.

Review scope, evidence path and decision record

Adjust the question

Evidence source

Subject

BMW

Vehicle population · plant / line / installed lots

Commercial scope: Halstead Precision Components · 3 programs · 11 part numbers in force
BMW-local inventory: 24,680 vehicles carry a Halstead Precision Components part in the affected family
Release exposure: AR-8421 recorded on 7,480 vehicles at line programming
Membership gap: 680 vehicles have incomplete lot-to-vehicle records

BMW knows which vehicles carry this supplier's parts, not which builds, releases and lots connect them.

VIN and production records stay here

AutoResilience

Validation core · profile AR-VP-1 · synthetic

12 checks armed: predicate, channel, signature, authority, scope and boundary.

Twelve checks armed. No disposition changes until each one clears.

OEM & supply-chain partners

Tier 1 Halstead Precision Components · release authority (key ID T1-042-REL-04)

Build and lot records stay local

Software sub-tier · relayed through authorized Tier 1 exchange (key ID ST-118-SRC-02)

Source and SBOM stay local

Question → one scoped predicate leaves BMW← Signed answer returns; records stay with their owner

BMW decision · assessment pending24,680 vehicles

0Contain recommended

24,000Verify

0Continue for this issue

680Membership unresolved

3 scoped questions needed. Existing eligible proof is retained.

Illustrative transactions and signatures · no external connections, no operational actions, no compromise asserted