Skip to content

tools

Directory actions

More options

Directory actions

More options

Latest commit

 

History

History

tools

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
billing
billing
 
 
cert-validate
cert-validate
 
 
ci
ci
 
 
compliance
compliance
 
 
evidence
evidence
 
 
explain-state-repl
explain-state-repl
 
 
insure
insure
 
 
metering
metering
 
 
metrics
metrics
 
 
pcs-validate
pcs-validate
 
 
perf
perf
 
 
pf-core
pf-core
 
 
privacy
privacy
 
 
proofbot
proofbot
 
 
results
results
 
 
specassistant
specassistant
 
 
specgraph
specgraph
 
 
standards
standards
 
 
validation
validation
 
 
README.md
README.md
 
 
art_fetch.py
art_fetch.py
 
 
art_flake_detect.py
art_flake_detect.py
 
 
gen_allowlist_from_lean.py
gen_allowlist_from_lean.py
 
 
generate_dfa_traces.py
generate_dfa_traces.py
 
 
invariant_gate.py
invariant_gate.py
 
 
lean_allowlist_check.py
lean_allowlist_check.py
 
 
lean_ast_hash.py
lean_ast_hash.py
 
 
lean_dep_graph.py
lean_dep_graph.py
 
 
lean_gate.py
lean_gate.py
 
 
lean_gate_config.yaml
lean_gate_config.yaml
 
 
policy_conflicts_checker.py
policy_conflicts_checker.py
 
 
retention_probe.py
retention_probe.py
 
 
select_impacted.py
select_impacted.py
 
 
select_impacted_rust.py
select_impacted_rust.py
 
 
test_select_impacted.py
test_select_impacted.py
 
 
verify_ni_bridge.py
verify_ni_bridge.py
 
 

README.md

Tools

Development, validation, and automation utilities for the Provability Fabric monorepo.

Repository

Upstream: github.com/SentinelOps-CI/provability-fabric.

git clone https://github.com/SentinelOps-CI/provability-fabric.git

Documented entry points

Directory README
cert-validate/ README
evidence/ README
explain-state-repl/ README
pf-core/ README
standards/ README

Other scripts and services under tools/ are used from CI or the Makefile; read source or call sites for usage.