Import File

Upload a code or text file to extract safety hazards and analysis records into the database.

Supported formats

Text files (.txt) — key:value blocks, one block per hazard or analysis, separated by blank lines.
Code files (.py, .js, .c, .h) — inline annotations using # HAZARD:, # SAFETY:, # SAFETY-CRITICAL:, or # TODO-SAFETY: comments.

Text file example

type: hazard
id: HAZ-001
title: Fuel valve fails open
description: Solenoid may fail in open position under coil short circuit.
system: Propulsion
severity: Catastrophic
probability: Improbable
mitigation: Add redundant shutoff valve downstream.
status: Open

type: analysis
analysis_type: CLSA
hazard: HAZ-001
findings: No NULL check before actuate() call in valve_ctrl.c.
analyst: J. Smith
date: 2026-05-07

Code annotation example

# HAZARD: id=HAZ-101; title=Null deref in actuator; system=Flight Control; severity=Critical; probability=Remote
# SAFETY: hazard=HAZ-101; findings=Return value of arm_actuator() never checked
# SAFETY-CRITICAL: This function controls rocket ignition sequence