审计程序

这份文本才是审计程序。换发行人不会改它。

1# GOKI annual-report audit program
2# version 2
3# Core path is fixed. Planner binds $specialist only.
4# Commands dispatch to existing engines. This file does not compute identities.
5# v2: classify leftover origin so mapping gaps are not labelled as issuer errors.
6 
7annual_report {
8    extract mapping
9    extract filings
10 
11    parallel {
12        verify balance_sheet
13        verify income_statement
14        verify cash_flow
15        verify notes
16        verify publication_set
17    }
18 
19    reconcile identities
20    classify gaps
21    collect evidence
22 
23    if {$anomalies > 0} {
24        investigate anomalies {
25            delegate $specialist
26        }
27    }
28 
29    judge
30 
31    if {$confidence < 0.9} {
32        escalate low_confidence
33        checkpoint human_review
34    }
35 
36    report
37}