Release v0.5.0
The same generic claim-relation, result-spectrum, resolution-frontier, and certificate functions are exercised through two bounded domain adapters.
Console command: await SEC_PORTABILITY_AUDIT.runAll({verbose:true})
| Primitive | Centre domain | Admissibility domain | Shared semantics |
|---|---|---|---|
| Claim relation | 4 paired cases | 4 paired cases | Yes |
| Result spectrum | 3 paired cases | 3 paired cases | Yes |
| Resolution frontier | 3 paired cases | 3 paired cases | Yes |
| Resolution certificate | Bound claim/result | Bound claim/result | Yes |
Ready.