Assurance Twincontradiction precedence
twin contradiction precedence
Historical green evidence must not hide a newer exact contradiction.
Back to Assurance LabSynthetic coverage only
Cross-feature interaction coverage
Audit the synergies, not just the features.
This index asks whether each deliberately defined cross-feature interaction has an executable synthetic counterexample or regression scenario. It also names authority interactions that are intentionally impossible to simulate into existence.
10
Defined targets covered
0
Defined targets uncovered
4
Authority interactions excluded
Synergy coverage measures only the explicitly defined Synthetic Assurance Lab interaction targets. It is not a claim that every possible FlowSentinel feature interaction, provider behavior, or real-world failure mode is covered. Intentionally excluded authority interactions are safety boundaries, not missing product capabilities to simulate away.
Executable coverage
recovery historylive currentness
recovery history live currentness
Immutable historical recovery truth must be separated from current recovery authority.
shadow provenanceprovider fingerprint
shadow provenance provider fingerprint
A green shadow receipt must be invalidated by exact saved-definition drift.
Continuity Contractsblast radius
continuity blast radius
Impact claims must follow exact dependency evidence rather than names or similarity.
source availabilityMinimal Proof Plan
source availability minimal proof
Unavailable evidence must become an explicit proof requirement, not a healthy empty estate.
last-known-goodreplay binding
baseline replay binding
Rotating the baseline must invalidate replay inheritance from a previous artifact.
provider maturitysynthetic trust domain
maturity synthetic firewall
Synthetic success must remain unable to promote live provider maturity or readiness.
runtime recencyrecovery admission boundary
runtime recency recovery admission
Ambiguous recency must not become recovery-authorizing current failure evidence.
cross-provider Assurance Twinno-inference rule
cross provider no inference
Transitive cross-provider impact may follow explicit edges only.
exact artifact identityclaim boundary
artifact identity claim boundary
Exact byte identity may prove change without silently becoming semantic judgment.
Intentionally excluded authority interactions
Safety boundaries are not coverage gaps.
These interactions are intentionally absent from the synthetic execution graph. The Lab may test that the firewall holds, but it must never simulate the forbidden action itself as a capability.
Synthetic evidence → production Assurance Witness append
The Lab is a separate trust domain and has no production evidence persistence path.
Synthetic success → provider-wide maturity promotion
Provider maturity is machine-authoritative and cannot be promoted by synthetic observations.
Synthetic case → provider write
The Lab has no provider client or provider-write authority.
Synthetic recovery result → production intervention
Recovery production intervention remains disabled and requires a separate customer-approved contract.