Status: active
Primary bead: bd-1lsy.11.6
Machine-readable contract: docs/rgc_fault_injection_chaos_verification_pack_v1.json
This pack defines deterministic chaos and fault-injection verification for security containment, degraded-mode behavior, and recovery correctness.
It operationalizes bd-1lsy.11.6 with a reusable contract and gate artifacts
compatible with the shared deterministic e2e harness.
schema_version:franken-engine.rgc-fault-injection-chaos-verification-pack.v1contract_version:1.0.0policy_id:policy-rgc-fault-injection-chaos-verification-pack-v1
The vectors must cover all classes below:
containment_triggerfault_containmentdegraded_mode_recovery
Every gate completion event must include:
trace_iddecision_idpolicy_idcomponenteventscenario_idchaos_classpath_typeoutcomeerror_code
Gate entrypoint:
scripts/run_rgc_fault_injection_chaos_verification_pack.sh
Replay wrapper:
scripts/e2e/rgc_fault_injection_chaos_verification_pack_replay.sh
Supported modes:
check,test,clippy,ci
Heavy cargo operations are remote-only (rch) and fail closed on local
fallback detection.
Each run emits:
run_manifest.jsonevents.jsonlcommands.txtchaos_verification_report.jsonstep_logs/step_*.log
under artifacts/rgc_fault_injection_chaos_verification_pack/<UTC_TIMESTAMP>/.
jq empty docs/rgc_fault_injection_chaos_verification_pack_v1.json
jq empty docs/rgc_fault_injection_chaos_verification_vectors_v1.json
rch exec -- env CARGO_TARGET_DIR=/tmp/rch_target_rgc_fault_injection_chaos_verification_pack \
cargo test -p frankenengine-engine --test rgc_fault_injection_chaos_verification_pack
./scripts/run_rgc_fault_injection_chaos_verification_pack.sh ci
./scripts/e2e/rgc_fault_injection_chaos_verification_pack_replay.sh ci