HAIEC Forensic Assurance Report
Judge-facing structure for reconstructing authority, action, evidence, consequence, control response and recovery across AL0 → AL1 → AL2.
1. Judge brief
[State the narrowest evidence-supported conclusion. Separate established fact from inference and explicitly name the proof frontier.]
[STATUS]
AL0 reference state and digest.
[PHASE]
First source/coverage behavior change.
[PHASE]
First observed target or effect change.
[STATUS]
State and service proof after control.
2. Trust chain by phase
| Question | AL0 | AL1 | AL2 | After control |
|---|---|---|---|---|
| Intent established? | [ ] | [ ] | [ ] | [ ] |
| Authority established? | [ ] | [ ] | [ ] | [ ] |
| Target established? | [ ] | [ ] | [ ] | [ ] |
| Observed action established? | [ ] | [ ] | [ ] | [ ] |
| Consequence established? | [ ] | [ ] | [ ] | [ ] |
| Evidence complete enough? | [ ] | [ ] | [ ] | [ ] |
3. Control results
| Control | Threshold version | Run | Measured value | Verdict | Evidence pointer |
|---|---|---|---|---|---|
| 7 · AIA-LOG-001 | [ ] | [ ] | [ ] | [ ] | [ ] |
| 9 · AIA-ARC-006 | [ ] | [ ] | [ ] | [ ] | [ ] |
| 16 · ACN-COST-001 | [ ] | [ ] | [ ] | [ ] | [ ] |
4. Forensic case
[What was requested, by whom, at what time?]
[What policy/authority allowed? Include version.]
[What could the code path actually cause?]
[What action/effect was observed?]
5. First divergence timeline
| Time | Phase | Event | Source | Confidence |
|---|---|---|---|---|
| [ ] | AL0 | [Baseline event] | [Evidence] | [ ] |
| [ ] | AL1 | [First evidence divergence] | [Evidence] | [ ] |
| [ ] | AL2 | [First behavioral divergence] | [Evidence] | [ ] |
| [ ] | Control | [Intervention / refusal / recovery] | [Evidence] | [ ] |
6. Proof frontier and gaps
Established: [facts directly supported by evidence]
Not established: [causality, intent, identity, completeness or other boundaries not proven]
Missing evidence: [specific records needed to move the proof frontier]
Operational gap: [what was not closed and why]
7. Verification package
Evidence
Exportable/openable file with run, control and threshold bindings.
Thresholds
Dated, versioned declarations made before the assessed run.
Control tool
Command, script, API or app the judge can operate directly.
Reproduce
Exact steps to answer a named control/run question in two minutes.
Working links
TM Forum Challenge Hub · Team Field Guide · Environment & Integration Intake