Skip to content

Commit 15d8ca0

Browse files
authored
Update repository_audit.py
1 parent ab4e39c commit 15d8ca0

1 file changed

Lines changed: 8 additions & 0 deletions

File tree

src/ix_style/verification/repository_audit.py

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -88,13 +88,21 @@ def _check_required_paths(self) -> SelfAuditCheck:
8888
"docs/architecture/IXS-FDIR-ARCHITECTURE.md",
8989
"docs/architecture/IXS-SENSOR-TRUST-AND-ESTIMATION-FRAMEWORK.md",
9090
"docs/architecture/IXS-SECURE-MESSAGING-AND-EVIDENCE-ARCHITECTURE.md",
91+
"docs/architecture/IXS-CONSTRAINT-CATALOG.md",
92+
"docs/architecture/IXS-MODE-ALLOCATION-AND-POSTURE-RESOLUTION.md",
93+
"docs/architecture/IXS-RECOVERY-GATE-AND-AUTHORITY-RESTORATION.md",
94+
"docs/architecture/IXS-TAMPER-EVIDENT-EVIDENCE-BUNDLES.md",
9195
"docs/operations/IXS-MISSION-HEALTH-AND-OPERATOR-SUPPORT.md",
96+
"docs/operations/IXS-OPERATOR-RATIONALE-AND-SUMMARY-LAYER.md",
9297
"docs/verification/IXS-VERIFICATION-AND-TRACEABILITY-STRATEGY.md",
98+
"docs/verification/IXS-REVIEW-ARTIFACT-PACKAGES.md",
99+
"docs/verification/IXS-INVARIANT-CHECKS-AND-PROPERTY-LAYER.md",
93100
"artifacts/traceability/ix_style_traceability_seed.yaml",
94101
"examples/power_fault_clamp_demo.py",
95102
"examples/nav_spoof_transition_demo.py",
96103
"scripts/run_repo_self_audit.py",
97104
"scripts/run_sample_scenarios.py",
105+
"scripts/run_invariant_checks.py",
98106
)
99107

100108
missing = tuple(

0 commit comments

Comments
 (0)