Evidence ceiling E3Proof boundary

LIVING ASSURANCE

A FINAL claim carries its argument and its dependencies.

The reference structure makes the assumptions behind outcome support explicit and reopens the assurance case when a root of trust, evidence source or governing dependency changes.

Living case

Claim → evidence → assumptions → dependencies → status.

This extends assurance-case structure to a specific consequential ending rather than claiming system certification.

01

Claim

The exact outcome assertion being relied upon.

02

Evidence

Attributable records supporting the claim.

03

Assumptions

Declared limits that may invalidate the conclusion.

04

Dependencies

Keys, authorities, sources, policies and other outcomes that support the conclusion.

05

REOPEN

Dependency changes invalidate the prior support state without erasing history.

06

External assurance

Remains a separate E5 conclusion and cannot be self-awarded.

Public knowledge index

Search Finality Group

Protected, owner-only and legacy content is excluded.