Advanced - carrier verification

Assurance-carrier proof cases

These cases exist to show the carrier can hold and express an assurance outcome. They are not determinations about anything anyone builds, they are kept out of My Solutions, and they are counted towards no solution, no programme figure and no portfolio view.

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.

Constructed carrier cases

source PLANE_B_STORE

Constructed material, shown here only because hiding it would leave the projection partly unrendered. Reading these as assurance of a solution would be a misreading, and no screen under My Solutions links to them.

carrierProofCases exist to prove cher.assurance_case can represent ASSURED. They are about no real solution, they are kept out of cases so the two cannot be rendered together by accident, and they must never appear in portfolio state.

42 constructed cases are listed below. That figure describes this list and nothing else: it is not a portfolio figure, it is not added to any solution count, and an outcome here is about the carrier rather than about anything built.

AC-CARRIER-PROOF-CONSTRUCTED-001
Constructed package
EEP-CONSTRUCTED-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
ASSURED
Evaluated at
2026-09-05T21:03:24Z
Case digest
1c31e821d930c2ab065cd39037444472087c708547a499702cf94cca263e7a96
Conditions recorded SATISFIED: 8 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  SATISFIED
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  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
  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
  - criticality
  - jurisdiction
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-13a43e4a
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T21:47:20Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-1e861765
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T21:49:47Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-28fd23e2
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T21:46:45Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-2bdd7cfe
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T21:48:08Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-2fc26782
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T21:12:59Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-39717100
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T21:50:20Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-3bccd8db
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T21:08:53Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-45494a51
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T21:46:36Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-532fbe38
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T21:12:33Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-5ebc6c0a
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T21:09:24Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-67d4269a
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T22:19:06Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-6bf9ad43
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T21:08:16Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-6e3a6d08
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T22:19:19Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-6f4fd5e6
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T21:49:01Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-7622d5f6
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T21:47:53Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-9bd8489c
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T21:11:26Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-b62d5b07
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T21:08:41Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-cf0a994e
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T21:13:27Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-d68143b5
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T21:47:44Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-db7710f9
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T21:07:52Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-de0836c0
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T21:48:34Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-e71c3a37
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T21:49:20Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-efbdcf34
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T21:46:31Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-f3363aec
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T22:18:40Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-NE-PROBE-f577001e
Constructed package
EEP-CONSTRUCTED-NE-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
NOT_ASSURED
Evaluated at
2026-09-05T21:47:33Z
Case digest
fc0990a328e694a5dccf64c9aaded59c8b5fa85f580809e1cc1373ace1869fe9
Conditions recorded SATISFIED: 7 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  NOT_EVALUABLE
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  The evaluator could not assess this condition. NOT_EVALUABLE is its own state and is not satisfied and not unsatisfied.
  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
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-SUPER-B-e88921ec
Constructed package
EEP-CONSTRUCTED-SUPER-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
ASSURED
Evaluated at
2026-09-05T21:49:20Z
Case digest
364f7338143ddc7729f8b81dc6712b351f77218489b6f4f24bfb9987ca9879e4
Conditions recorded SATISFIED: 8 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  SATISFIED
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  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
  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
  - a later reading
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-SUPER-B-fafa6b41
Constructed package
EEP-CONSTRUCTED-SUPER-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
ASSURED
Evaluated at
2026-09-05T21:47:20Z
Case digest
364f7338143ddc7729f8b81dc6712b351f77218489b6f4f24bfb9987ca9879e4
Conditions recorded SATISFIED: 8 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  SATISFIED
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  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
  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
  - a later reading
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-SUPER-B-2ce135b2
Constructed package
EEP-CONSTRUCTED-SUPER-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
ASSURED
Evaluated at
2026-09-05T21:49:01Z
Case digest
364f7338143ddc7729f8b81dc6712b351f77218489b6f4f24bfb9987ca9879e4
Conditions recorded SATISFIED: 8 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  SATISFIED
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  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
  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
  - a later reading
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-SUPER-B-3246475d
Constructed package
EEP-CONSTRUCTED-SUPER-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
ASSURED
Evaluated at
2026-09-05T21:49:47Z
Case digest
364f7338143ddc7729f8b81dc6712b351f77218489b6f4f24bfb9987ca9879e4
Conditions recorded SATISFIED: 8 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  SATISFIED
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  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
  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
  - a later reading
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-SUPER-B-38cebb8c
Constructed package
EEP-CONSTRUCTED-SUPER-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
ASSURED
Evaluated at
2026-09-05T21:46:45Z
Case digest
364f7338143ddc7729f8b81dc6712b351f77218489b6f4f24bfb9987ca9879e4
Conditions recorded SATISFIED: 8 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  SATISFIED
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  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
  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
  - a later reading
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-SUPER-B-524a3427
Constructed package
EEP-CONSTRUCTED-SUPER-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
ASSURED
Evaluated at
2026-09-05T22:19:06Z
Case digest
364f7338143ddc7729f8b81dc6712b351f77218489b6f4f24bfb9987ca9879e4
Conditions recorded SATISFIED: 8 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  SATISFIED
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  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
  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
  - a later reading
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-SUPER-B-661e15b8
Constructed package
EEP-CONSTRUCTED-SUPER-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
ASSURED
Evaluated at
2026-09-05T22:18:40Z
Case digest
364f7338143ddc7729f8b81dc6712b351f77218489b6f4f24bfb9987ca9879e4
Conditions recorded SATISFIED: 8 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  SATISFIED
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  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
  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
  - a later reading
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-SUPER-B-6e22cb27
Constructed package
EEP-CONSTRUCTED-SUPER-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
ASSURED
Evaluated at
2026-09-05T21:47:33Z
Case digest
364f7338143ddc7729f8b81dc6712b351f77218489b6f4f24bfb9987ca9879e4
Conditions recorded SATISFIED: 8 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  SATISFIED
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  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
  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
  - a later reading
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-SUPER-B-720c4104
Constructed package
EEP-CONSTRUCTED-SUPER-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
ASSURED
Evaluated at
2026-09-05T21:46:36Z
Case digest
364f7338143ddc7729f8b81dc6712b351f77218489b6f4f24bfb9987ca9879e4
Conditions recorded SATISFIED: 8 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  SATISFIED
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  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
  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
  - a later reading
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-SUPER-B-75484be5
Constructed package
EEP-CONSTRUCTED-SUPER-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
ASSURED
Evaluated at
2026-09-05T21:46:31Z
Case digest
364f7338143ddc7729f8b81dc6712b351f77218489b6f4f24bfb9987ca9879e4
Conditions recorded SATISFIED: 8 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  SATISFIED
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  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
  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
  - a later reading
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-SUPER-B-98298f87
Constructed package
EEP-CONSTRUCTED-SUPER-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
ASSURED
Evaluated at
2026-09-05T21:48:34Z
Case digest
364f7338143ddc7729f8b81dc6712b351f77218489b6f4f24bfb9987ca9879e4
Conditions recorded SATISFIED: 8 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  SATISFIED
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  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
  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
  - a later reading
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-SUPER-B-a3a004a4
Constructed package
EEP-CONSTRUCTED-SUPER-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
ASSURED
Evaluated at
2026-09-05T21:47:44Z
Case digest
364f7338143ddc7729f8b81dc6712b351f77218489b6f4f24bfb9987ca9879e4
Conditions recorded SATISFIED: 8 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  SATISFIED
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  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
  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
  - a later reading
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-SUPER-B-cf815960
Constructed package
EEP-CONSTRUCTED-SUPER-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
ASSURED
Evaluated at
2026-09-05T21:47:53Z
Case digest
364f7338143ddc7729f8b81dc6712b351f77218489b6f4f24bfb9987ca9879e4
Conditions recorded SATISFIED: 8 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  SATISFIED
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  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
  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
  - a later reading
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-SUPER-B-d3af1feb
Constructed package
EEP-CONSTRUCTED-SUPER-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
ASSURED
Evaluated at
2026-09-05T21:50:20Z
Case digest
364f7338143ddc7729f8b81dc6712b351f77218489b6f4f24bfb9987ca9879e4
Conditions recorded SATISFIED: 8 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  SATISFIED
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  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
  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
  - a later reading
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-SUPER-B-e325b8ff
Constructed package
EEP-CONSTRUCTED-SUPER-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
ASSURED
Evaluated at
2026-09-05T21:48:08Z
Case digest
364f7338143ddc7729f8b81dc6712b351f77218489b6f4f24bfb9987ca9879e4
Conditions recorded SATISFIED: 8 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  SATISFIED
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  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
  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
  - a later reading
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001
AC-SUPER-B-e5d0cd61
Constructed package
EEP-CONSTRUCTED-SUPER-001
Constructed version
1.0.0
Evaluation status
EVALUATED
Outcome, verbatim
ASSURED
Evaluated at
2026-09-05T22:19:19Z
Case digest
364f7338143ddc7729f8b81dc6712b351f77218489b6f4f24bfb9987ca9879e4
Conditions recorded SATISFIED: 8 of 8. A count, not a score, and about a constructed case.
- AC-CONTEXT-001
  SATISFIED
  the solution context is present and every fact carries its derivation, confidence and, where inferred, its basis
  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
  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
  - a later reading
- AC-EVIDENCE-001
  SATISFIED
  every declared evidence obligation is met at its required strength, truth class and integrity class
  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
  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
  - EVD-C-001
- 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-C-001 confirmed by person:authority@example.ac.za
- AC-GOVERNANCE-001
  SATISFIED
  every decision the package declares as required has an approval record from a named human at its decision class
  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
  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
  - DEC-C-001 approved by person:authority@example.ac.za
- AC-KNOWLEDGE-001
  SATISFIED
  the engineering basis resolves from the bound immutable snapshot
  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
  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
  - PACK-CONSTRUCTED-001
- AC-SPECIALIST-001
  SATISFIED
  every specialist role in scope produced the engineering its governed knowledge carries
  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
  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
  - CTRL-C-PRIV-001
  - CTRL-C-SEC-001
- AC-SPECIALIST-002
  SATISFIED
  every control that applies to this context belongs to a specialist role
  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
  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
  - CTRL-C-SEC-001
- AC-VALIDATION-001
  SATISFIED
  the validation this package declares has been executed and its outcome is OBSERVED
  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
  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
  - GATE-C-001

AC-CONTEXT-001

AC-EVIDENCE-001

AC-FINDING-001

AC-GOVERNANCE-001

AC-KNOWLEDGE-001

AC-SPECIALIST-001

AC-SPECIALIST-002

AC-VALIDATION-001

AC-CONTEXT-001

AC-EVIDENCE-001

AC-FINDING-001

AC-GOVERNANCE-001

AC-KNOWLEDGE-001

AC-SPECIALIST-001

AC-SPECIALIST-002

AC-VALIDATION-001

AC-CONTEXT-001

AC-EVIDENCE-001

AC-FINDING-001

AC-GOVERNANCE-001

AC-KNOWLEDGE-001

AC-SPECIALIST-001

AC-SPECIALIST-002

AC-VALIDATION-001

AC-CONTEXT-001

AC-EVIDENCE-001

AC-FINDING-001

AC-GOVERNANCE-001

AC-KNOWLEDGE-001

AC-SPECIALIST-001

AC-SPECIALIST-002

AC-VALIDATION-001

AC-CONTEXT-001

AC-EVIDENCE-001

AC-FINDING-001

AC-GOVERNANCE-001

AC-KNOWLEDGE-001

AC-SPECIALIST-001

AC-SPECIALIST-002

AC-VALIDATION-001

AC-CONTEXT-001

AC-EVIDENCE-001

AC-FINDING-001

AC-GOVERNANCE-001

AC-KNOWLEDGE-001

AC-SPECIALIST-001

AC-SPECIALIST-002

AC-VALIDATION-001

AC-CONTEXT-001

AC-EVIDENCE-001

AC-FINDING-001

AC-GOVERNANCE-001

AC-KNOWLEDGE-001

AC-SPECIALIST-001

AC-SPECIALIST-002

AC-VALIDATION-001

AC-CONTEXT-001

AC-EVIDENCE-001

AC-FINDING-001

AC-GOVERNANCE-001

AC-KNOWLEDGE-001

AC-SPECIALIST-001

AC-SPECIALIST-002

AC-VALIDATION-001

AC-CONTEXT-001

AC-EVIDENCE-001

AC-FINDING-001

AC-GOVERNANCE-001

AC-KNOWLEDGE-001

AC-SPECIALIST-001

AC-SPECIALIST-002

AC-VALIDATION-001

AC-CONTEXT-001

AC-EVIDENCE-001

AC-FINDING-001

AC-GOVERNANCE-001

AC-KNOWLEDGE-001

AC-SPECIALIST-001

AC-SPECIALIST-002

AC-VALIDATION-001