Merge phase/01-event-emitters — v1.16.1 (v1.17 P1 event emitters complete: CloudEvents envelope + Decision Ledger + Infracost + attestation/confidence/policy events)

This commit is contained in:
Jon Chery
2026-08-04 19:59:15 +00:00
14 changed files with 1070 additions and 3 deletions
+12
View File
@@ -14,6 +14,18 @@ terraform/bootstrap/.bootstrap_state.json
# CIAgent runtime artifacts # CIAgent runtime artifacts
.ciagent/logs/ .ciagent/logs/
# Nova metrics runtime artifacts (REQ-187, D-128)
# Generated: nova_metrics.db, decision_ledger.db, events.jsonl, runs/, test-results.xml, coverage.json, test-report.json
# NOT ignored: metrics/README.md, metrics/powerbi/ (export views), schemas/metrics_*.schema.json
metrics/nova_metrics.db
metrics/decision_ledger.db
metrics/events.jsonl
metrics/test-results.xml
metrics/test-report.json
metrics/coverage.json
metrics/runs/
metrics/lifecycle/
# Terraform — recursively ignore .terraform dirs, lock files, plans, and state # Terraform — recursively ignore .terraform dirs, lock files, plans, and state
**/.terraform/ **/.terraform/
**/.terraform.lock.hcl **/.terraform.lock.hcl
+24 -1
View File
@@ -17,8 +17,12 @@ ACDL_TAG_NAMING in P2 (REQ-158); the rule is in hard mode as of P3
import datetime import datetime
import json import json
import os
import sys import sys
sys.path.insert(0, os.path.dirname(os.path.dirname(os.path.dirname(os.path.dirname(os.path.abspath(__file__))))))
from core.metrics.event_envelope import emit
RULE_MAP = { RULE_MAP = {
"CKV_AWS_41": ("secrets-in-plaintext", "high"), "CKV_AWS_41": ("secrets-in-plaintext", "high"),
@@ -71,7 +75,7 @@ def _to_pcr(checkov_record, contract_id, result_str):
} }
def adapt(checkov_json_path, contract_id): def adapt(checkov_json_path, contract_id, run_id=None, environment="dev"):
with open(checkov_json_path, "r", encoding="utf-8") as fh: with open(checkov_json_path, "r", encoding="utf-8") as fh:
data = json.load(fh) data = json.load(fh)
out = [] out = []
@@ -85,6 +89,25 @@ def adapt(checkov_json_path, contract_id):
out.append(_to_pcr(rec, contract_id, "FAILED")) out.append(_to_pcr(rec, contract_id, "FAILED"))
for rec in results.get("skipped_checks", []): for rec in results.get("skipped_checks", []):
out.append(_to_pcr(rec, contract_id, "SKIPPED")) out.append(_to_pcr(rec, contract_id, "SKIPPED"))
# Emit nova.policy.evaluated event (REQ-187).
if run_id:
passed = sum(1 for p in out if p["result"] == "pass")
failed = sum(1 for p in out if p["result"] == "fail")
skipped = sum(1 for p in out if p["result"] == "skipped")
severity_breakdown = {}
for p in out:
sev = p.get("severity", "info")
severity_breakdown[sev] = severity_breakdown.get(sev, 0) + 1
try:
emit("nova.policy.evaluated", run_id, environment, {
"passed": passed, "failed": failed, "skipped": skipped,
"severity_breakdown": severity_breakdown,
"rule_count": len(out),
}, contract_id=contract_id)
except Exception:
pass # metrics emission must never break the policy adapter
return out return out
+32 -1
View File
@@ -34,8 +34,13 @@ per-input scores.
from dataclasses import dataclass, asdict from dataclasses import dataclass, asdict
from typing import List, Literal, Optional, Dict, Any from typing import List, Literal, Optional, Dict, Any
import json import json
import os
import sys import sys
sys.path.insert(0, os.path.dirname(os.path.dirname(os.path.abspath(__file__))))
from core.metrics.event_envelope import emit, make_event, append_event
from core.metrics.decision_ledger import append as ledger_append
WEIGHTS = { WEIGHTS = {
"policy": 0.30, "policy": 0.30,
@@ -161,7 +166,33 @@ def compute(contract_id: str, environment: str,
band = "warn" band = "warn"
if environment == "dev" and band == "warn": if environment == "dev" and band == "warn":
band = "block" band = "block"
return Signal(score, band, per_input, reasons) signal = Signal(score, band, per_input, reasons)
# Emit nova.confidence.computed + nova.ai.decision.made events (D-122).
# The "AI decision" is the confidence-gated policy engine, not an LLM.
# decision_id = run_id (or "cli-<ts>" when called from CLI without a run).
try:
run_id = os.environ.get("NOVA_RUN_ID", f"cli-{int(__import__('time').time())}")
conf_data = {"score": score, "band": band, "perInput": per_input, "reasonCodes": reasons}
emit("nova.confidence.computed", run_id, environment, conf_data, contract_id=contract_id)
decision_data = {
"decision_id": run_id,
"chosen_action": band,
"confidence": score,
"alternatives": per_input,
"human_override": band == "block",
"threshold": THRESHOLDS[environment],
}
decision_event = make_event("nova.ai.decision.made", run_id, environment, decision_data,
contract_id=contract_id, actor_type="confidence-gate",
actor_id="confidence_signal")
append_event(decision_event)
ledger_append(decision_event)
except Exception:
pass # metrics emission must never break the confidence gate
return signal
if __name__ == "__main__": if __name__ == "__main__":
+22
View File
@@ -12,6 +12,10 @@ import os
import sys import sys
from typing import Optional, Tuple from typing import Optional, Tuple
sys.path.insert(0, os.path.dirname(os.path.dirname(os.path.abspath(__file__))))
from core.metrics.event_envelope import make_event, append_event
from core.metrics.decision_ledger import append as ledger_append
def _approver_attr(env: str) -> str: def _approver_attr(env: str) -> str:
return {"qa": "approver_qa", "prod": "approver_prod", "dr": "approver_dr"}.get(env, "") return {"qa": "approver_qa", "prod": "approver_prod", "dr": "approver_dr"}.get(env, "")
@@ -61,6 +65,24 @@ def attest(contract_id: str, env: str, approver: str,
if not ok: if not ok:
return (False, reason) return (False, reason)
# Emit attestation.recorded event to the Decision Ledger (D-132).
try:
run_id = os.environ.get("NOVA_RUN_ID", f"attest-{contract_id[:8]}")
attestation_data = {
"approver": approver,
"environment": env,
"concerns": reason,
"result": "pass",
"contract_id": contract_id,
}
attestation_event = make_event("nova.attestation.recorded", run_id, env, attestation_data,
contract_id=contract_id, actor_type="human-attestation",
actor_id=approver)
append_event(attestation_event)
ledger_append(attestation_event)
except Exception:
pass # metrics emission must never break the attestation gate
return (True, f"{env} attested by {approver}") return (True, f"{env} attested by {approver}")
View File
+257
View File
@@ -0,0 +1,257 @@
"""Nova Decision Ledger — SQLite append-only hash-chain (REQ-188, D-121).
Extends outbox_writer.py to emit to a SQLite append-only table with a hash
chain (prev_hash + own hash, SHA-256). Stores ai.decision.made events
(decision_id=run_id, chosen_action=band, confidence=score,
alternatives=perInput, human_override=HITL block) with outcome backfill
from apply.completed. Also stores attestation.recorded events (D-132).
Honors D-083 (no S3 Object Lock/JWS — local SQLite hash-chain only).
D-120: Nova-native (SQLite, no QLDB).
D-128: metrics/ at repo root.
"""
import datetime
import hashlib
import json
import os
import sqlite3
import sys
_LEDGER_PATH = os.path.join(
os.path.dirname(os.path.dirname(os.path.dirname(os.path.dirname(os.path.abspath(__file__))))),
"metrics", "decision_ledger.db",
)
_GENESIS_HASH = "GENESIS"
def _iso8601_now():
return datetime.datetime.now(datetime.timezone.utc).strftime("%Y-%m-%dT%H:%M:%SZ")
def _canonical_hash(event):
"""SHA-256 over canonical JSON (sort_keys, compact separators)."""
canonical = json.dumps(event, sort_keys=True, separators=(",", ":"))
return hashlib.sha256(canonical.encode("utf-8")).hexdigest()
def _init_db(db_path=None):
"""Create the ledger table if it doesn't exist."""
if db_path is None:
db_path = _LEDGER_PATH
os.makedirs(os.path.dirname(db_path), exist_ok=True)
conn = sqlite3.connect(db_path)
conn.execute("""
CREATE TABLE IF NOT EXISTS decision_ledger (
seq INTEGER PRIMARY KEY AUTOINCREMENT,
event_id TEXT NOT NULL,
event_type TEXT NOT NULL,
run_id TEXT NOT NULL,
contract_id TEXT,
environment TEXT,
event_time TEXT NOT NULL,
payload TEXT NOT NULL,
prev_hash TEXT NOT NULL,
hash TEXT NOT NULL
)
""")
conn.execute("CREATE INDEX IF NOT EXISTS idx_run_id ON decision_ledger(run_id)")
conn.execute("CREATE INDEX IF NOT EXISTS idx_event_type ON decision_ledger(event_type)")
conn.commit()
conn.close()
def _get_last_hash(db_path=None):
"""Get the hash of the last row in the ledger (or GENESIS if empty)."""
if db_path is None:
db_path = _LEDGER_PATH
conn = sqlite3.connect(db_path)
row = conn.execute("SELECT hash FROM decision_ledger ORDER BY seq DESC LIMIT 1").fetchone()
conn.close()
return row[0] if row else _GENESIS_HASH
def append(event, db_path=None):
"""Append an event to the Decision Ledger with hash-chain integrity.
Args:
event: a CloudEvents 1.0 envelope dict (from event_envelope.make_event)
db_path: path to the SQLite ledger
Returns:
The row dict (seq, event_id, event_type, run_id, hash, prev_hash).
"""
if db_path is None:
db_path = _LEDGER_PATH
_init_db(db_path)
prev_hash = _get_last_hash(db_path)
event_hash = _canonical_hash(event)
platform = event.get("platform", {})
data = event.get("data", {})
conn = sqlite3.connect(db_path)
conn.execute("BEGIN IMMEDIATE")
cursor = conn.execute(
"""INSERT INTO decision_ledger
(event_id, event_type, run_id, contract_id, environment, event_time, payload, prev_hash, hash)
VALUES (?, ?, ?, ?, ?, ?, ?, ?, ?)""",
(
event.get("id", ""),
event.get("type", ""),
platform.get("run_id", ""),
platform.get("contract_id", ""),
platform.get("environment", ""),
event.get("time", _iso8601_now()),
json.dumps(event, sort_keys=True),
prev_hash,
event_hash,
),
)
seq = cursor.lastrowid
conn.commit()
conn.close()
return {"seq": seq, "event_id": event.get("id", ""), "event_type": event.get("type", ""),
"run_id": platform.get("run_id", ""), "hash": event_hash, "prev_hash": prev_hash}
def verify_chain(db_path=None):
"""Verify the hash chain integrity. Returns (ok, broken_count, details).
Recomputes each row's hash from its payload and checks:
1. The stored hash matches the recomputed hash.
2. The prev_hash matches the previous row's hash.
"""
if db_path is None:
db_path = _LEDGER_PATH
_init_db(db_path)
conn = sqlite3.connect(db_path)
rows = conn.execute("SELECT seq, hash, prev_hash, payload FROM decision_ledger ORDER BY seq").fetchall()
conn.close()
if not rows:
return True, 0, "empty ledger"
broken = 0
details = []
prev_hash = _GENESIS_HASH
for seq, stored_hash, stored_prev, payload_json in rows:
event = json.loads(payload_json)
recomputed = _canonical_hash(event)
if recomputed != stored_hash:
broken += 1
details.append(f"seq={seq}: hash mismatch (stored={stored_hash[:12]}... recomputed={recomputed[:12]}...)")
if stored_prev != prev_hash:
broken += 1
details.append(f"seq={seq}: prev_hash mismatch (expected={prev_hash[:12]}... got={stored_prev[:12]}...)")
prev_hash = stored_hash
return broken == 0, broken, "; ".join(details) if details else "chain intact"
def query_by_run(run_id, db_path=None):
"""Query all ledger entries for a given run_id."""
if db_path is None:
db_path = _LEDGER_PATH
_init_db(db_path)
conn = sqlite3.connect(db_path)
rows = conn.execute(
"SELECT seq, event_type, event_time, payload FROM decision_ledger WHERE run_id = ? ORDER BY seq",
(run_id,),
).fetchall()
conn.close()
return [{"seq": r[0], "event_type": r[1], "event_time": r[2], "payload": json.loads(r[3])} for r in rows]
def stats(db_path=None):
"""Return ledger statistics."""
if db_path is None:
db_path = _LEDGER_PATH
_init_db(db_path)
conn = sqlite3.connect(db_path)
total = conn.execute("SELECT COUNT(*) FROM decision_ledger").fetchone()[0]
by_type = conn.execute("SELECT event_type, COUNT(*) FROM decision_ledger GROUP BY event_type").fetchall()
by_env = conn.execute("SELECT environment, COUNT(*) FROM decision_ledger GROUP BY environment").fetchall()
conn.close()
return {
"total": total,
"by_event_type": dict(by_type),
"by_environment": dict(by_env),
}
def export_since(since_iso, fmt="json", db_path=None):
"""Export ledger entries since a given ISO8601 timestamp."""
if db_path is None:
db_path = _LEDGER_PATH
_init_db(db_path)
conn = sqlite3.connect(db_path)
rows = conn.execute(
"SELECT seq, event_type, run_id, event_time, payload FROM decision_ledger WHERE event_time >= ? ORDER BY seq",
(since_iso,),
).fetchall()
conn.close()
entries = [{"seq": r[0], "event_type": r[1], "run_id": r[2], "event_time": r[3], "payload": json.loads(r[4])} for r in rows]
if fmt == "csv":
import csv
import io
buf = io.StringIO()
writer = csv.DictWriter(buf, fieldnames=["seq", "event_type", "run_id", "event_time", "payload"])
writer.writeheader()
for e in entries:
e["payload"] = json.dumps(e["payload"])
writer.writerow(e)
return buf.getvalue()
return json.dumps(entries, indent=2)
def replay_run(run_id, db_path=None):
"""Reconstruct a run's full event sequence from the ledger.
Prints the ordered event sequence (run.started -> policy.evaluated ->
confidence.computed -> ai.decision.made -> attestation.recorded ->
run.completed/failed) with the decision's confidence, alternatives,
and outcome.
"""
if db_path is None:
db_path = _LEDGER_PATH
entries = query_by_run(run_id, db_path)
if not entries:
return f"no events found for run_id={run_id}"
lines = [f"=== Replay: run_id={run_id} ({len(entries)} events) ==="]
for e in entries:
payload = e["payload"]
data = payload.get("data", {})
etype = e["event_type"]
line = f" [{e['seq']}] {e['event_time']} {etype}"
if etype == "nova.ai.decision.made":
line += f" confidence={data.get('confidence', '?')} band={data.get('chosen_action', '?')} override={data.get('human_override', '?')}"
elif etype == "nova.attestation.recorded":
line += f" env={data.get('environment', '?')} approver={data.get('approver', '?')} result={data.get('result', '?')}"
elif etype == "nova.run.completed":
line += f" exit={data.get('exit_code', '?')} outcome={data.get('outcome', '?')}"
elif etype == "nova.run.failed":
line += f" exit={data.get('exit_code', '?')} outcome=failed"
lines.append(line)
lines.append("=== End replay ===")
return "\n".join(lines)
if __name__ == "__main__":
if len(sys.argv) < 2:
print("usage: decision_ledger.py <verify-chain|stats|query|export|replay> [args]", file=sys.stderr)
sys.exit(2)
cmd = sys.argv[1]
if cmd == "verify-chain":
ok, broken, details = verify_chain()
print(f"chain_ok={ok} broken={broken} details={details}")
sys.exit(0 if ok else 1)
elif cmd == "stats":
print(json.dumps(stats(), indent=2))
elif cmd == "query" and len(sys.argv) >= 3:
print(json.dumps(query_by_run(sys.argv[2]), indent=2))
elif cmd == "export" and len(sys.argv) >= 3:
print(export_since(sys.argv[2]))
elif cmd == "replay" and len(sys.argv) >= 3:
print(replay_run(sys.argv[2]))
else:
print(f"unknown command: {cmd}", file=sys.stderr)
sys.exit(2)
+98
View File
@@ -0,0 +1,98 @@
"""Nova CloudEvents 1.0 envelope + platform.* semantic conventions (REQ-187).
Defines the standard event envelope for all Nova metrics events. Every
emitter (run_manifest, decision_ledger, confidence_signal, checkov_adapter,
hitl_gates, regression_verify) uses `make_event()` to produce a valid
CloudEvents 1.0 envelope. Events are appended to `metrics/events.jsonl`.
D-120: Nova-native minimal tech (no Kafka/OTel SDK — JSONL + SQLite).
D-125: hybrid model — existing file signals stay as files; the collector
reads them and emits normalized CloudEvents. New emitters emit directly.
"""
import datetime
import hashlib
import json
import os
import sys
import uuid
METRICS_DIR = os.path.join(os.path.dirname(os.path.dirname(os.path.dirname(os.path.abspath(__file__)))), "metrics")
EVENTS_LOG = os.path.join(METRICS_DIR, "events.jsonl")
def _iso8601_now():
return datetime.datetime.now(datetime.timezone.utc).strftime("%Y-%m-%dT%H:%M:%SZ")
def make_event(event_type, run_id, environment, data, contract_id="", source="nova.platform", subject="", actor_type="confidence-gate", actor_id="confidence_signal"):
"""Build a CloudEvents 1.0 envelope with Nova platform.* conventions.
Args:
event_type: e.g. "nova.run.completed", "nova.ai.decision.made"
run_id: the run identifier (e.g. "run-<epoch>")
environment: dev|qa|prod|dr
data: the event payload dict
contract_id: the contract UUID (optional)
source: the event source (default "nova.platform")
subject: the event subject (default "<contract_id>/<env>")
actor_type: the actor type (default "confidence-gate")
actor_id: the actor id (default "confidence_signal")
Returns:
A CloudEvents 1.0 envelope dict.
"""
if not subject:
subject = f"{contract_id}/{environment}" if contract_id else environment
return {
"specversion": "1.0",
"id": str(uuid.uuid4()),
"source": source,
"type": event_type,
"time": _iso8601_now(),
"subject": subject,
"datacontenttype": "application/json",
"platform": {
"tenant_id": "acdl",
"run_id": run_id,
"contract_id": contract_id,
"environment": environment,
"actor": {"type": actor_type, "id": actor_id},
"trace_id": run_id,
},
"data": data,
}
def append_event(event, events_log=None):
"""Append a CloudEvents envelope to the JSONL event log.
Creates the metrics/ directory if it doesn't exist.
"""
if events_log is None:
events_log = EVENTS_LOG
os.makedirs(os.path.dirname(events_log), exist_ok=True)
with open(events_log, "a", encoding="utf-8") as fh:
fh.write(json.dumps(event, sort_keys=True, separators=(",", ":")) + "\n")
def emit(event_type, run_id, environment, data, **kwargs):
"""Make an event + append it to the JSONL log. Convenience wrapper."""
event = make_event(event_type, run_id, environment, data, **kwargs)
append_event(event)
return event
if __name__ == "__main__":
if len(sys.argv) < 4:
print("usage: event_envelope.py <event_type> <run_id> <environment> [data.json]", file=sys.stderr)
sys.exit(2)
_type = sys.argv[1]
_run_id = sys.argv[2]
_env = sys.argv[3]
_data = {}
if len(sys.argv) >= 5 and os.path.isfile(sys.argv[4]):
with open(sys.argv[4]) as f:
_data = json.load(f)
ev = emit(_type, _run_id, _env, _data)
print(json.dumps(ev, indent=2))
+73
View File
@@ -0,0 +1,73 @@
"""Nova Infracost Post-Processor (REQ-187, D-120).
Runs Infracost on `terraform show -json plan.tfplan` (offline, reads plan
JSON, no live AWS). Emits nova.cost.estimated{delta_usd} events. Degrades
gracefully (omits the event, logs a warning) when Infracost CLI is absent
(assumption A6).
run_platform.sh invokes it after the plan stage.
"""
import json
import os
import shutil
import subprocess
import sys
sys.path.insert(0, os.path.dirname(os.path.dirname(os.path.dirname(os.path.abspath(__file__)))))
from core.metrics.event_envelope import emit
def _is_infracost_available():
"""Check if the Infracost CLI is on PATH."""
return shutil.which("infracost") is not None
def estimate(plan_json_path, run_id, contract_id, environment):
"""Run Infracost on a terraform plan JSON. Returns the cost estimate dict.
Args:
plan_json_path: path to `terraform show -json plan.tfplan` output
run_id: the run identifier
contract_id: the contract UUID
environment: dev|qa|prod|dr
Returns:
{"delta_usd": float, "total_monthly_usd": float, "available": bool}
or {"available": False} if Infracost is not installed.
"""
if not _is_infracost_available():
sys.stderr.write("[infracost] CLI not found — cost.estimated event omitted (A6 degraded mode)\n")
return {"available": False, "delta_usd": 0.0, "total_monthly_usd": 0.0}
if not os.path.isfile(plan_json_path):
sys.stderr.write(f"[infracost] plan JSON not found: {plan_json_path}\n")
return {"available": False, "delta_usd": 0.0, "total_monthly_usd": 0.0}
try:
result = subprocess.run(
["infracost", "breakdown", "--path", plan_json_path, "--format", "json"],
capture_output=True, text=True, timeout=30,
)
if result.returncode != 0:
sys.stderr.write(f"[infracost] CLI failed: {result.stderr[:200]}\n")
return {"available": False, "delta_usd": 0.0, "total_monthly_usd": 0.0}
breakdown = json.loads(result.stdout)
delta = float(breakdown.get("diffTotalMonthlyCost", 0.0))
total = float(breakdown.get("totalMonthlyCost", 0.0))
estimate_data = {"available": True, "delta_usd": delta, "total_monthly_usd": total}
emit("nova.cost.estimated", run_id, environment, estimate_data, contract_id=contract_id)
return estimate_data
except Exception as exc:
sys.stderr.write(f"[infracost] error: {exc}\n")
return {"available": False, "delta_usd": 0.0, "total_monthly_usd": 0.0}
if __name__ == "__main__":
if len(sys.argv) < 5:
print("usage: infracost_adapter.py <plan_json_path> <run_id> <contract_id> <environment>", file=sys.stderr)
sys.exit(2)
est = estimate(sys.argv[1], sys.argv[2], sys.argv[3], sys.argv[4])
print(json.dumps(est, indent=2))
+137
View File
@@ -0,0 +1,137 @@
"""Nova Per-Run Manifest Writer (REQ-187).
Emits nova.run.started, nova.run.completed, nova.run.failed events with
(run_id, contractId, env, stages x durations, exit, confidence, HITL block
count). Writes metrics/runs/<run_id>.json. scripts/run_platform.sh invokes
the writer at run start + run end.
D-120: Nova-native (JSONL events + JSON manifest file, no Kafka).
D-128: metrics/ at repo root.
"""
import datetime
import json
import os
import sys
import time
import uuid
_METRICS_DIR = os.path.join(os.path.dirname(os.path.dirname(os.path.dirname(os.path.abspath(__file__)))), "metrics")
_RUNS_DIR = os.path.join(_METRICS_DIR, "runs")
sys.path.insert(0, os.path.dirname(os.path.dirname(os.path.dirname(os.path.abspath(__file__)))))
from core.metrics.event_envelope import emit, make_event, append_event
def _iso8601_now():
return datetime.datetime.now(datetime.timezone.utc).strftime("%Y-%m-%dT%H:%M:%SZ")
def _run_id():
return f"run-{int(time.time())}-{uuid.uuid4().hex[:8]}"
def start_run(contract_id, environment, stages=None):
"""Emit nova.run.started + return the run_id."""
run_id = _run_id()
data = {
"contract_id": contract_id,
"environment": environment,
"started_at": _iso8601_now(),
"stages": stages or [],
}
emit("nova.run.started", run_id, environment, data, contract_id=contract_id)
return run_id
def complete_run(run_id, contract_id, environment, stages, exit_code, confidence=None, hitl=None, policy=None, cost_estimate_usd=None, decision_id=None):
"""Emit nova.run.completed + write the per-run manifest JSON.
Args:
run_id: the run identifier from start_run()
contract_id: the contract UUID
environment: dev|qa|prod|dr
stages: list of {name, duration_ms, exit_code, error?}
exit_code: the overall run exit code
confidence: optional {score, band, perInput}
hitl: optional {gate, result, block}
policy: optional {passed, failed, skipped}
cost_estimate_usd: optional float
decision_id: optional string (links to the Decision Ledger)
"""
started_at = stages[0].get("started_at", _iso8601_now()) if stages else _iso8601_now()
completed_at = _iso8601_now()
outcome = "succeeded" if exit_code == 0 else "failed"
manifest = {
"run_id": run_id,
"contract_id": contract_id,
"environment": environment,
"started_at": started_at,
"completed_at": completed_at,
"exit_code": exit_code,
"stages": stages,
"outcome": outcome,
}
if confidence:
manifest["confidence"] = confidence
if hitl:
manifest["hitl"] = hitl
if policy:
manifest["policy"] = policy
if cost_estimate_usd is not None:
manifest["cost_estimate_usd"] = cost_estimate_usd
if decision_id:
manifest["decision_id"] = decision_id
os.makedirs(_RUNS_DIR, exist_ok=True)
manifest_path = os.path.join(_RUNS_DIR, f"{run_id}.json")
with open(manifest_path, "w", encoding="utf-8") as fh:
json.dump(manifest, fh, indent=2, sort_keys=True)
event_type = "nova.run.completed" if exit_code == 0 else "nova.run.failed"
emit(event_type, run_id, environment, manifest, contract_id=contract_id)
return manifest
def persist_run_artifacts(run_id, work_dir):
"""Copy ephemeral $WORK/*.json to metrics/runs/<run_id>/ as durable artifacts.
Args:
run_id: the run identifier
work_dir: the $WORK directory (e.g. /tmp/nova_platform_run)
"""
if not work_dir or not os.path.isdir(work_dir):
return []
dest = os.path.join(_RUNS_DIR, run_id)
os.makedirs(dest, exist_ok=True)
copied = []
for fname in ("pcr.json", "signal.json", "event.json", "outbox_item.json", "stack.json", "checkov.json"):
src = os.path.join(work_dir, fname)
if os.path.isfile(src):
import shutil
shutil.copy2(src, os.path.join(dest, fname))
copied.append(fname)
return copied
if __name__ == "__main__":
if len(sys.argv) < 4:
print("usage: run_manifest.py <start|complete|persist> <contract_id> <environment> [run_id] [work_dir]", file=sys.stderr)
sys.exit(2)
action = sys.argv[1]
cid = sys.argv[2]
env = sys.argv[3]
if action == "start":
rid = start_run(cid, env)
print(rid)
elif action == "complete":
rid = sys.argv[4] if len(sys.argv) >= 5 else _run_id()
m = complete_run(rid, cid, env, [], 0)
print(json.dumps(m, indent=2))
elif action == "persist":
rid = sys.argv[4] if len(sys.argv) >= 5 else ""
wd = sys.argv[5] if len(sys.argv) >= 6 else ""
copied = persist_run_artifacts(rid, wd)
print(json.dumps({"copied": copied}))
+51
View File
@@ -0,0 +1,51 @@
# Nova Metrics Directory
> v1.17 — Strategic Direction, Leadership Metrics & Unified Story (D-128)
This directory holds Nova's telemetry/observability artifacts. The
metrics layer is **Nova-native** (D-120): JSONL event log + SQLite cold
store + hash-chained Decision Ledger. No Kafka, Prometheus, ClickHouse,
or QLDB.
## Artifact inventory
| Artifact | Type | Regenerable? | Description |
|----------|------|-------------|-------------|
| `events.jsonl` | Append-only event log | No (append-only state) | CloudEvents 1.0 envelopes from all emitters (REQ-187) |
| `decision_ledger.db` | SQLite append-only hash-chain | No (append-only state) | Decision Ledger: `ai.decision.made` + `attestation.recorded` events (REQ-188, D-121) |
| `nova_metrics.db` | SQLite cold store | Yes (regenerate via collector) | Normalized fact/dimension tables (REQ-189, P2) |
| `runs/<run_id>.json` | Per-run manifest | Yes (regenerate from events) | Run lifecycle: stages, durations, exit, confidence, HITL (REQ-187) |
| `runs/<run_id>/` | Durable run artifacts | Yes (regenerate from $WORK) | Persisted copies of pcr.json, signal.json, event.json, etc. (REQ-187) |
| `lifecycle/<module>-<env>.json` | Lifecycle report | Yes (regenerate from lifecycle runs) | Per-module apply/modify/destroy results (REQ-205) |
| `test-results.xml` | JUnit XML | Yes (regenerate via pytest) | Test results (REQ-187, P1 addopts) |
| `test-report.json` | JSON test report | Yes (regenerate via pytest) | Test results in JSON (REQ-187, P1 addopts) |
| `coverage.json` | Coverage report | Yes (regenerate via pytest) | Code coverage (REQ-206, P1 addopts) |
| `powerbi/` | PowerBI export | Yes (regenerate via powerbi_export) | CSV/JSON views for PowerBI ingestion (REQ-190, P3) |
| `TRUST_SNAPSHOT.md` | Trust snapshot report | Yes (regenerate via trust_snapshot) | 5 trust metrics + chain-integrity verdict (REQ-211, P4) |
## Backup + restore
**Append-only state** (`events.jsonl`, `decision_ledger.db`): these are
the source of truth. They should be committed to git (events.jsonl) or
snapshotted (decision_ledger.db). If lost, they CANNOT be regenerated —
the events they captured are gone.
**Regenerable artifacts** (`nova_metrics.db`, `runs/`, `lifecycle/`,
`test-results.xml`, `coverage.json`, `powerbi/`): these are derived from
the append-only state + the source signals (REGRESSION_REPORT.json,
$WORK/*.json, junit XML). If lost, re-run the collector
(`core/metrics/collector.py`, P2) to rebuild `nova_metrics.db`, then
re-run the PowerBI export (`core/metrics/powerbi_export.py`, P3) to
rebuild `powerbi/`.
**Restore procedure:**
1. Recover `events.jsonl` + `decision_ledger.db` from git/snapshot.
2. `python3 core/metrics/collector.py` → rebuilds `nova_metrics.db`.
3. `python3 core/metrics/powerbi_export.py` → rebuilds `powerbi/`.
4. `python3 core/metrics/trust_snapshot.py` → rebuilds `TRUST_SNAPSHOT.md`.
## Concurrency model
Single-writer per run: the run manifest writer is the only writer per
run. SQLite WAL mode + `BEGIN IMMEDIATE` prevents concurrent-write
corruption on the Decision Ledger (P1 risk mitigation).
+2 -1
View File
@@ -13,6 +13,7 @@ dependencies = [
test = [ test = [
"pytest>=8.0", "pytest>=8.0",
"pytest-cov>=4.0", "pytest-cov>=4.0",
"pytest-json-report>=1.5",
"moto[dynamodb]>=5.0", "moto[dynamodb]>=5.0",
] ]
@@ -22,7 +23,7 @@ markers = [
"offline: tests that run without AWS/Checkov/DynamoDB", "offline: tests that run without AWS/Checkov/DynamoDB",
"slow: tests that invoke the full platform pipeline (long-running)", "slow: tests that invoke the full platform pipeline (long-running)",
] ]
addopts = "-v --tb=short" addopts = "-v --tb=short --junitxml=metrics/test-results.xml --json-report --cov=core --cov=adapters --cov-report=json:metrics/coverage.json --json-report-file=metrics/test-report.json"
filterwarnings = [ filterwarnings = [
"ignore::DeprecationWarning:botocore.*", "ignore::DeprecationWarning:botocore.*",
] ]
+36
View File
@@ -0,0 +1,36 @@
{
"$schema": "http://json-schema.org/draft-07/schema#",
"title": "Nova CloudEvents 1.0 Envelope",
"description": "CloudEvents 1.0 envelope with Nova platform.* semantic conventions. Used for all metrics events (REQ-187).",
"type": "object",
"required": ["specversion", "id", "source", "type", "time", "datacontenttype", "platform", "data"],
"properties": {
"specversion": {"type": "string", "const": "1.0"},
"id": {"type": "string", "minLength": 1},
"source": {"type": "string", "minLength": 1},
"type": {"type": "string", "minLength": 1, "pattern": "^nova\\."},
"time": {"type": "string", "format": "date-time"},
"subject": {"type": "string"},
"datacontenttype": {"type": "string", "const": "application/json"},
"platform": {
"type": "object",
"required": ["run_id", "environment"],
"properties": {
"tenant_id": {"type": "string"},
"run_id": {"type": "string", "minLength": 1},
"contract_id": {"type": "string"},
"environment": {"type": "string", "enum": ["dev", "qa", "prod", "dr"]},
"actor": {
"type": "object",
"properties": {
"type": {"type": "string"},
"id": {"type": "string"}
}
},
"trace_id": {"type": "string"}
}
},
"data": {"type": "object"}
},
"additionalProperties": true
}
+56
View File
@@ -0,0 +1,56 @@
{
"$schema": "http://json-schema.org/draft-07/schema#",
"title": "Nova Per-Run Manifest",
"description": "Per-run manifest written to metrics/runs/<run_id>.json (REQ-187). Captures the full run lifecycle.",
"type": "object",
"required": ["run_id", "contract_id", "environment", "started_at", "completed_at", "exit_code", "stages"],
"properties": {
"run_id": {"type": "string", "minLength": 1},
"contract_id": {"type": "string"},
"environment": {"type": "string", "enum": ["dev", "qa", "prod", "dr"]},
"started_at": {"type": "string", "format": "date-time"},
"completed_at": {"type": "string", "format": "date-time"},
"exit_code": {"type": "integer"},
"stages": {
"type": "array",
"items": {
"type": "object",
"required": ["name", "duration_ms", "exit_code"],
"properties": {
"name": {"type": "string"},
"duration_ms": {"type": "number"},
"exit_code": {"type": "integer"},
"error": {"type": "string"}
}
}
},
"confidence": {
"type": "object",
"properties": {
"score": {"type": "number"},
"band": {"type": "string", "enum": ["pass", "warn", "block"]},
"perInput": {"type": "object"}
}
},
"hitl": {
"type": "object",
"properties": {
"gate": {"type": "string"},
"result": {"type": "string"},
"block": {"type": "boolean"}
}
},
"policy": {
"type": "object",
"properties": {
"passed": {"type": "integer"},
"failed": {"type": "integer"},
"skipped": {"type": "integer"}
}
},
"cost_estimate_usd": {"type": "number"},
"decision_id": {"type": "string"},
"outcome": {"type": "string", "enum": ["succeeded", "failed", "pending"]}
},
"additionalProperties": true
}
+270
View File
@@ -0,0 +1,270 @@
"""Tests for Nova metrics event emitters (P1, REQ-187/188).
Tests the CloudEvents envelope, per-run manifest writer, Decision Ledger
(hash-chain integrity + verify-chain), and the event emission from
confidence_signal, hitl_gates, and checkov_adapter.
"""
import json
import os
import sqlite3
import sys
import tempfile
from pathlib import Path
import pytest
ROOT = Path(__file__).resolve().parent.parent
sys.path.insert(0, str(ROOT))
@pytest.fixture
def tmp_metrics(tmp_path, monkeypatch):
"""Redirect metrics/ to a tmp dir for isolated testing."""
metrics_dir = tmp_path / "metrics"
metrics_dir.mkdir()
runs_dir = metrics_dir / "runs"
runs_dir.mkdir()
events_log = metrics_dir / "events.jsonl"
ledger_db = metrics_dir / "decision_ledger.db"
monkeypatch.setattr("core.metrics.event_envelope.METRICS_DIR", str(metrics_dir))
monkeypatch.setattr("core.metrics.event_envelope.EVENTS_LOG", str(events_log))
monkeypatch.setattr("core.metrics.run_manifest._METRICS_DIR", str(metrics_dir))
monkeypatch.setattr("core.metrics.run_manifest._RUNS_DIR", str(runs_dir))
monkeypatch.setattr("core.metrics.decision_ledger._LEDGER_PATH", str(ledger_db))
return {"metrics_dir": metrics_dir, "events_log": events_log, "ledger_db": ledger_db, "runs_dir": runs_dir}
# --- Task 1: CloudEvents envelope ---
def test_envelope_valid(tmp_metrics):
from core.metrics.event_envelope import make_event
ev = make_event("nova.run.completed", "run-test-1", "dev", {"exit_code": 0}, contract_id="cid-123")
assert ev["specversion"] == "1.0"
assert ev["type"] == "nova.run.completed"
assert ev["platform"]["run_id"] == "run-test-1"
assert ev["platform"]["environment"] == "dev"
assert ev["platform"]["contract_id"] == "cid-123"
assert ev["data"]["exit_code"] == 0
assert ev["datacontenttype"] == "application/json"
assert "id" in ev and len(ev["id"]) > 0
assert "time" in ev
def test_envelope_append(tmp_metrics):
from core.metrics.event_envelope import make_event, append_event
ev = make_event("nova.test.event", "run-test-2", "dev", {"key": "value"})
append_event(ev)
assert tmp_metrics["events_log"].exists()
lines = tmp_metrics["events_log"].read_text().strip().split("\n")
assert len(lines) == 1
parsed = json.loads(lines[0])
assert parsed["type"] == "nova.test.event"
# --- Task 2: Per-run manifest writer ---
def test_run_manifest_start(tmp_metrics):
from core.metrics.run_manifest import start_run
run_id = start_run("cid-123", "dev")
assert run_id.startswith("run-")
assert tmp_metrics["events_log"].exists()
def test_run_manifest_complete(tmp_metrics):
from core.metrics.run_manifest import start_run, complete_run
run_id = start_run("cid-123", "dev")
stages = [{"name": "resolve", "duration_ms": 100, "exit_code": 0}]
manifest = complete_run(run_id, "cid-123", "dev", stages, 0)
assert manifest["run_id"] == run_id
assert manifest["exit_code"] == 0
assert manifest["outcome"] == "succeeded"
manifest_path = tmp_metrics["runs_dir"] / f"{run_id}.json"
assert manifest_path.exists()
saved = json.loads(manifest_path.read_text())
assert saved["run_id"] == run_id
def test_run_manifest_failed(tmp_metrics):
from core.metrics.run_manifest import complete_run
manifest = complete_run("run-fail-1", "cid-123", "dev", [], 1)
assert manifest["outcome"] == "failed"
# --- Task 6: Decision Ledger (SQLite hash-chain) ---
def test_decision_ledger_append(tmp_metrics):
from core.metrics.event_envelope import make_event
from core.metrics.decision_ledger import append, verify_chain
ev = make_event("nova.ai.decision.made", "run-dl-1", "dev",
{"decision_id": "run-dl-1", "chosen_action": "pass", "confidence": 0.9,
"alternatives": {"policy": 1.0}, "human_override": False})
row = append(ev)
assert row["seq"] == 1
assert row["prev_hash"] == "GENESIS"
ok, broken, _ = verify_chain()
assert ok
assert broken == 0
def test_decision_ledger_chain_integrity(tmp_metrics):
from core.metrics.event_envelope import make_event
from core.metrics.decision_ledger import append, verify_chain
for i in range(5):
ev = make_event("nova.ai.decision.made", f"run-dl-{i}", "dev",
{"decision_id": f"run-dl-{i}", "confidence": 0.9 + i * 0.01})
append(ev)
ok, broken, details = verify_chain()
assert ok, f"chain broken: {details}"
assert broken == 0
def test_decision_ledger_tamper_detection(tmp_metrics):
from core.metrics.event_envelope import make_event
from core.metrics.decision_ledger import append, verify_chain
ev = make_event("nova.ai.decision.made", "run-tamper-1", "dev", {"confidence": 0.9})
append(ev)
# Tamper: directly modify the payload in the DB
conn = sqlite3.connect(str(tmp_metrics["ledger_db"]))
conn.execute("UPDATE decision_ledger SET payload = '{}' WHERE seq = 1")
conn.commit()
conn.close()
ok, broken, details = verify_chain()
assert not ok
assert broken > 0
def test_decision_ledger_query_by_run(tmp_metrics):
from core.metrics.event_envelope import make_event
from core.metrics.decision_ledger import append, query_by_run
ev = make_event("nova.ai.decision.made", "run-query-1", "dev", {"confidence": 0.9})
append(ev)
entries = query_by_run("run-query-1")
assert len(entries) == 1
assert entries[0]["event_type"] == "nova.ai.decision.made"
def test_decision_ledger_stats(tmp_metrics):
from core.metrics.event_envelope import make_event
from core.metrics.decision_ledger import append, stats
for env in ("dev", "qa", "dev"):
ev = make_event("nova.ai.decision.made", f"run-stats-{env}", env, {"confidence": 0.9})
append(ev)
s = stats()
assert s["total"] == 3
assert s["by_environment"].get("dev", 0) == 2
assert s["by_environment"].get("qa", 0) == 1
def test_decision_ledger_replay(tmp_metrics):
from core.metrics.event_envelope import make_event
from core.metrics.decision_ledger import append, replay_run
ev = make_event("nova.ai.decision.made", "run-replay-1", "dev",
{"decision_id": "run-replay-1", "chosen_action": "pass",
"confidence": 0.94, "human_override": False})
append(ev)
replay = replay_run("run-replay-1")
assert "run-replay-1" in replay
assert "nova.ai.decision.made" in replay
# --- Task 8: Confidence signal event emission ---
def test_confidence_event_emission(tmp_metrics):
from core.confidence_signal import compute
inputs = {
"policy": [{"result": "pass", "severity": "info"}],
"validation": {"schema": True, "stack_resolved": True, "tf_validated": True, "tf_planned": True},
"freshness": {"age_days": 0, "max_age_days": 1},
"source": {"submitter": "test", "commit_sha": "abc"},
"history": {"prior_rollbacks": 0, "prior_policy_fails": 0},
"nfrs": {"conformance": 1.0},
}
sig = compute("cid-conf-1", "dev", inputs)
assert sig.band == "pass"
# Check that events were emitted
assert tmp_metrics["events_log"].exists()
lines = tmp_metrics["events_log"].read_text().strip().split("\n")
types = [json.loads(l)["type"] for l in lines]
assert "nova.confidence.computed" in types
assert "nova.ai.decision.made" in types
# Check the decision ledger has the entry
from core.metrics.decision_ledger import query_by_run
entries = query_by_run(lines[0].split('"run_id":"')[1].split('"')[0] if '"run_id":"' in lines[0] else "")
# The run_id is dynamic; just verify the ledger has entries
from core.metrics.decision_ledger import stats
s = stats()
assert s["total"] > 0
# --- Task 7: Attestation event emission ---
def test_attestation_event_emission(tmp_metrics):
from core.hitl_gates import attest
# Dev skips (autonomous) — no event
ok, reason = attest("cid-attest-1", "dev", "testuser")
assert ok
# QA requires approver + attestation matrix — mock evidence
ok, reason = attest("cid-attest-2", "qa", "testuser",
evidence={"functional_correctness": {"timestamp": "2026-08-04T12:00:00Z", "type": "test", "payload": {}},
"performance_baseline": {"timestamp": "2026-08-04T12:00:00Z", "type": "test", "payload": {}},
"security_posture": {"timestamp": "2026-08-04T12:00:00Z", "type": "test", "payload": {}},
"contract_nfrs": {"valid": True}})
assert ok
# Check the attestation event was emitted
from core.metrics.decision_ledger import stats
s = stats()
assert s["total"] > 0
# --- Task 9: Policy event emission ---
def test_policy_event_emission(tmp_metrics, tmp_path):
"""Test that checkov_adapter emits nova.policy.evaluated when given a run_id."""
checkov_json = tmp_path / "checkov.json"
checkov_json.write_text(json.dumps({
"terraform_plan": {
"results": {
"passed_checks": [{"check_id": "CKV_AWS_1", "check_name": "test", "file_path": "main.tf"}],
"failed_checks": [],
"skipped_checks": [],
}
}
}))
from adapters.terraform.policy.checkov_adapter import adapt
pcrs = adapt(str(checkov_json), "cid-policy-1", run_id="run-policy-1", environment="dev")
assert len(pcrs) == 1
assert pcrs[0]["result"] == "pass"
# Check the event was emitted
assert tmp_metrics["events_log"].exists()
lines = tmp_metrics["events_log"].read_text().strip().split("\n")
types = [json.loads(l)["type"] for l in lines]
assert "nova.policy.evaluated" in types
# --- Task 5: Infracost adapter (degraded mode) ---
def test_infracost_degraded_mode(tmp_metrics):
"""When Infracost CLI is absent, the adapter degrades gracefully (A6)."""
from core.metrics.infracost_adapter import estimate
# Infracost is not installed in the test env — degraded mode
result = estimate("/nonexistent/plan.json", "run-infracost-1", "cid-1", "dev")
assert result["available"] is False
assert result["delta_usd"] == 0.0
# --- Task 3: Persist ephemeral $WORK/*.json ---
def test_persist_run_artifacts(tmp_metrics, tmp_path):
from core.metrics.run_manifest import persist_run_artifacts
work_dir = tmp_path / "work"
work_dir.mkdir()
(work_dir / "pcr.json").write_text('{"test": true}')
(work_dir / "signal.json").write_text('{"score": 0.9}')
copied = persist_run_artifacts("run-persist-1", str(work_dir))
assert "pcr.json" in copied
assert "signal.json" in copied
dest = tmp_metrics["runs_dir"] / "run-persist-1"
assert (dest / "pcr.json").exists()
assert (dest / "signal.json").exists()