orchestrata_governance.gates
Reference › components › governance › orchestrata_governance › gates
The Prolog gate layer — facts from the AST snapshot, policy as rules.
The Prolog gate layer of orchestrata_governance: facts come from the AST snapshot and policy is written as rules. fact_extractor (1,097 lines) turns the snapshot into facts. gate_engine (471 lines) and engine evaluate rules against them, producing verdict__engine, violation, proof_tree, why_not and staleness results. commit_review (409 lines) with commit_verdict, review_run, review_status and blocking_finding reviews a commit. differential with differential_report, difference and finding__differential compares two snapshots. snapshot_missing_error reports an absent snapshot. The Prolog bridge it uses is in prolog_engine.
22 modules, 2,788 lines of code.
Modules
| Module | Summary | LOC | Lifted from |
|---|---|---|---|
__init__ |
The Prolog gate layer — facts from the AST snapshot, policy as rules. | 18 | lifted from orchestrata_ultimate.gates |
blocking_finding |
15 | ||
commit_review |
409 | lifted from orchestrata_ultimate.gates.commit_review | |
commit_verdict |
64 | ||
difference |
29 | ||
differential |
Residue-only lift of frozen gates.differential (ADR-0103 P2-F). |
183 | lifted from orchestrata_ultimate.gates.differential |
differential_report |
82 | ||
engine |
Residue-only lift of frozen gates.engine (ADR-0103 P2-F). |
74 | lifted from orchestrata_ultimate.gates.engine |
fact_extractor |
1097 | lifted from orchestrata_ultimate.gates.fact_extractor | |
fact_stats |
59 | ||
finding__commit_review |
23 | ||
finding__differential |
24 | ||
gate_engine |
471 | ||
legacy_rule |
24 | ||
proof_tree |
31 | ||
review_run |
28 | ||
review_status |
18 | ||
snapshot_missing_error |
14 | ||
staleness |
18 | ||
verdict__engine |
59 | ||
violation |
30 | ||
why_not |
18 |