mikheil-galoian/AVERA Change Verification
Turn engineering change artifacts into a structured, traceable evidence pack — ready for release review (ISO 26262, DO-178C, IEC 62304, EN 50128). Deterministic gate; optional evidence-grounded AI assistance.
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| baseline | Zero-config mode: path to the baseline JUnit/xUnit XML (known-good run, e.g. main). Set together with `current` to run the simple `check` gate — no evidence pack needed. Ideal for plain pass/fail CI. | no | "" |
| current | Zero-config mode: path to the current JUnit/xUnit XML (the run to gate, e.g. the PR). Pair with `baseline`. | no | "" |
| report_only | Advisory mode (zero-config): print the verdict but never fail the job (always exit 0). Recommended for a first trial on a noisy repo, where a flaky test flipping pass→fail would otherwise look like a real regression. | no | false |
| project_path | Full evidence-pack mode: path to the evidence pack directory (baseline + current results, requirements.csv, component_map.json, change_description.txt). Use this OR the baseline/current pair. | no | "" |
| output_path | Directory where the full canonical artifact set is written (report, markdown, evidence graph, traceability, decision, trend, workspace pack, evidence manifest, audit log). | no | avera-reports |
| policy | Optional built-in gate policy for the gate_status output: general, automotive, aviation, medical, railway, space, ai_agent. Empty uses the default (general) policy. | no | "" |
| fail_on_release_blocking | Fail the workflow when AVERA classifies risk as release_blocking. Default true — recommended for safety-critical CI gates. | no | true |
| fail_on_regression | Fail the workflow on any confirmed_regression verdict, regardless of risk level. Default false. | no | false |
| fail_on_gate | Fail the workflow when the deterministic gate status is block or review. Default true — so the action never reports gate_status=block while passing. Set false for an advisory run that only reports. | no | true |
| expected_verdict | Optional. When set, assert that AVERA produces this specific verdict (e.g. confirmed_regression, successful_change). Mismatch fails the run. | no | "" |
Outputs
| name | description |
|---|---|
| verdict | AVERA verdict (confirmed_regression / successful_change / preexisting_failure / worsened_preexisting_failure / environment_failure / insufficient_evidence / requirements_coverage_gap). |
| risk | AVERA risk classification (release_blocking / high / medium / low / unknown). |
| confidence | AVERA confidence (high / medium / low). |
| gate_status | Deterministic gate status for the selected policy (pass / review / block). |
| report_path | Filesystem path to avera-report.json. |
| manifest_path | Filesystem path to avera-evidence-manifest.json. |
| integrity_root | Content-addressed SHA-256 integrity root binding the evidence set. |
| audit_log_path | Filesystem path to the hash-chained avera-audit.jsonl. |