Skip to content
CHEREngineering workspace
Current solutionEEP-DONOR-ZA-001v1.1.0
Experience
Appearance
← Assurance

Assurance case

AC-DONOR-REEVAL-4772361a

The case as CHER recorded it, and each hop a reader can follow from it. A hop with no supplied material is named and shown as unavailable rather than left out or filled in here.

Read-only. Everything here is read from what CHER has recorded. Nothing on this screen decides, approves, records an outcome or writes to governance, evidence or audit.

Case → condition → satisfiedBy → snapshot, package, version, digest

source PLANE_B_STORE

Only traversal the supplied projection supports is offered. No relationship between a case and another record is constructed on this screen.

Case identifier
AC-DONOR-REEVAL-4772361a
Case digest
9cea570cb809eb59fdad6521c9913fb47adf46b3b322ebf53be216b68ef6a7c3
Outcome
NOT_ASSURED
Evaluated at
2026-09-06T00:00:00Z
Snapshot the case names
KS-2d4a1d596a27c2e1
Supersedes
8f02070f-b59d-4a69-819a-cb79622ca247

Conditions and what the evaluator says satisfied them

  • AC-CONTEXT-001

    NOT_SATISFIED

    the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis

    The evaluator assessed this condition and found it not met.

    refusalClassIfUnmet

    MISSING_GOVERNED_KNOWLEDGE_BASIS

    The class that applies where this condition is unmet. It is a property of the condition, not a refusal the case has incurred, and it is shown on every condition including the satisfied ones because that is how the projection supplies it.

    satisfiedBy

    none supplied for this condition

    Where satisfiedBy leads

    The condition names nothing, so there is nothing to follow.

  • AC-EVIDENCE-001

    NOT_SATISFIED

    every declared evidence obligation is met at its required strength, truth class and integrity class

    The evaluator assessed this condition and found it not met.

    refusalClassIfUnmet

    EVIDENCE_MISSING_OR_INADMISSIBLE

    The class that applies where this condition is unmet. It is a property of the condition, not a refusal the case has incurred, and it is shown on every condition including the satisfied ones because that is how the projection supplies it.

    satisfiedBy

    none supplied for this condition

    Where satisfiedBy leads

    The condition names nothing, so there is nothing to follow.

  • AC-FINDING-001

    SATISFIED

    no finding blocks a gate and every material or decision-changing assumption is confirmed

    The evaluator found this condition met, and names below what met it. A satisfied condition is about this condition only. It says nothing about the outcome of the case.

    refusalClassIfUnmet

    BLOCKING_FINDING_OR_ASSUMPTION_UNRESOLVED

    The class that applies where this condition is unmet. It is a property of the condition, not a refusal the case has incurred, and it is shown on every condition including the satisfied ones because that is how the projection supplies it.

    satisfiedBy

    • ASM-DONOR-001 confirmed by person:privacy-authority@example.ac.za
    • ASM-DONOR-002 confirmed by person:it-director@example.ac.za
    • ASM-DONOR-003 confirmed by person:privacy-authority@example.ac.za

    Where satisfiedBy leads

    The assurance projection carries this as the evaluator's own words. No governed projection Plane A holds is keyed by it, so there is no traversal to offer and none is constructed here.

  • AC-GOVERNANCE-001

    NOT_SATISFIED

    every decision the package declares as required has an approval record from a named human at its decision class

    The evaluator assessed this condition and found it not met.

    refusalClassIfUnmet

    GOVERNANCE_DECISION_OUTSTANDING

    The class that applies where this condition is unmet. It is a property of the condition, not a refusal the case has incurred, and it is shown on every condition including the satisfied ones because that is how the projection supplies it.

    satisfiedBy

    none supplied for this condition

    Where satisfiedBy leads

    The condition names nothing, so there is nothing to follow.

  • AC-KNOWLEDGE-001

    NOT_SATISFIED

    the engineering basis resolves from the bound immutable snapshot

    The evaluator assessed this condition and found it not met.

    refusalClassIfUnmet

    MISSING_GOVERNED_KNOWLEDGE_BASIS

    The class that applies where this condition is unmet. It is a property of the condition, not a refusal the case has incurred, and it is shown on every condition including the satisfied ones because that is how the projection supplies it.

    satisfiedBy

    none supplied for this condition

    Where satisfiedBy leads

    The condition names nothing, so there is nothing to follow.

  • AC-SPECIALIST-001

    NOT_SATISFIED

    every specialist role in scope produced the engineering its governed knowledge carries

    The evaluator assessed this condition and found it not met.

    refusalClassIfUnmet

    MISSING_GOVERNED_KNOWLEDGE_BASIS

    The class that applies where this condition is unmet. It is a property of the condition, not a refusal the case has incurred, and it is shown on every condition including the satisfied ones because that is how the projection supplies it.

    satisfiedBy

    none supplied for this condition

    Where satisfiedBy leads

    The condition names nothing, so there is nothing to follow.

  • AC-SPECIALIST-002

    NOT_SATISFIED

    every control that applies to this context belongs to a specialist role

    The evaluator assessed this condition and found it not met.

    refusalClassIfUnmet

    SPECIALIST_GENERATION_INCOMPLETE

    The class that applies where this condition is unmet. It is a property of the condition, not a refusal the case has incurred, and it is shown on every condition including the satisfied ones because that is how the projection supplies it.

    satisfiedBy

    none supplied for this condition

    Where satisfiedBy leads

    The condition names nothing, so there is nothing to follow.

  • AC-VALIDATION-001

    NOT_SATISFIED

    the validation this package declares has been executed and its outcome is OBSERVED

    The evaluator assessed this condition and found it not met.

    refusalClassIfUnmet

    VALIDATION_NOT_EXECUTED_OR_UNDEREVIDENCED

    The class that applies where this condition is unmet. It is a property of the condition, not a refusal the case has incurred, and it is shown on every condition including the satisfied ones because that is how the projection supplies it.

    satisfiedBy

    none supplied for this condition

    Where satisfiedBy leads

    The condition names nothing, so there is nothing to follow.

From the case to the material it was reached over

  • Snapshot KS-2d4a1d596a27c2e1

    The knowledge projection holds a resolution for this version. It records both snapshot identifiers, the packs the resolver reached and the packs it rejected.

    Knowledge basis →

  • Package EEP-DONOR-ZA-001 v1.1.0

    The issued version carries integrity digest 03d27589538f9b636abcab67793a582375d61163583f8dc409ed64abb7362958. The case digest above is over the case, not over the package: they are two different artefacts and neither recomputes the other.

    Canonical package →

  • ◇ Case → the run that produced the determination - unavailable

    The case names the evaluator and when it reached the determination. Contract 1.2.0 projects no run identifier beside it, so the run that produced this determination cannot be opened from here, and this screen does not match it to a row in the runs projection on timing or identifier resemblance.

The references the case carries

Contract 1.2.0 supplies these on the case. They are rendered as supplied, and no relationship to another record is constructed here from an identifier that happens to match one Plane A holds elsewhere.

Evidence the case names (evidenceRefs)

The evidence records the case names, with the strength, truth class and digest each was recorded at. These are the case's own references and are not an evidence count.

  • EEP-DONOR-ZA-001@1.1.0

    assurance_evaluation · E3 · INFERRED

    3c2b9c7ed58c8d1a80922887438b907eac036f1beab81eb97fe14b02e17bba8c

  • ROLE-SEC-ARCH:EEP-DONOR-ZA-001@1.1.0

    specialist_output · E2 · DECLARED

    c07ab5faaf6c8b772fc70067932538af97bc62b162a159dc48c2621cef4408a2

  • EEP-DONOR-ZA-001@1.1.0:KS-2d4a1d596a27c2e1->KS-cd27e616e2091377

    impact_assessment · E3 · OBSERVED

    e03a1d155af6583b6d06c5938da21872511a1cc3a6d2162deb3d0b1b94c6d149

Specialist roles the case names (specialistRefs)

The specialist roles the case names, the controls each derived, and where the case records it, the controls that apply and belong to no role.

  • ROLE-SEC-ARCH

    controlsDerived

    • CTRL-ENG-TRACE-001
    • CTRL-SEC-AUTHN-001
    • CTRL-SEC-AUTHORITY-001
    • CTRL-SEC-AUTHZ-001
    • CTRL-SEC-TENANT-001

    unassignableApplicable

    • CTRL-ENG-NEUTRAL-001
    • CTRL-ENG-TRUTH-001
    • CTRL-RA-DONOR-CONSENT-001
    • CTRL-RA-DONOR-DEDUP-001
    • CTRL-RA-DONOR-IMMUT-001
    • CTRL-SEC-SECRETS-001

  • ROLE-PRIV-REG

    basis KNOWLEDGE_EXISTS_UNGOVERNED

    controlsDerived

    none recorded

Decisions the case names (governanceRefs)

The decisions the case names, the class each was declared at, the state the package declares, and whether an approval record was found in the store. This screen reads those two facts and neither reconciles nor resolves them.

  • DEC-DONOR-001 · D3

    declaredStateInPackage DECIDED

    approvalRecordInStore false

  • DEC-DONOR-002 · D5

    declaredStateInPackage DECIDED

    approvalRecordInStore false

  • DEC-DONOR-003 · D2

    declaredStateInPackage DECIDED

    approvalRecordInStore false

  • DEC-DONOR-004 · D4

    declaredStateInPackage DECIDED

    approvalRecordInStore false