Testbed Paper-Faithful CI Gates #1147
frawaretestbed-paper-faithful.yml
on: schedule
Synthetic Probe - Cert/Policy/Receipt Validation
20s
Decision Path Flow - End-to-End Validation
22s
Non-Interference (MonNI) - Bridge Validation
21s
Egress Certificates - PII/Secret Detection
56s
Access Receipts - Signature/Expiry Validation
37s
Policy Kernel - Validation & Replan Logic
54s
Tool Broker - Mediation & Capability Checks
19s
Safety Case - Evidence & Verdict Validation
15s
Final Summary & Notifications
20s
Annotations
18 errors and 9 warnings
|
Safety Case - Evidence & Verdict Validation
Process completed with exit code 1.
|
|
Non-Interference (MonNI) - Bridge Validation
Process completed with exit code 1.
|
|
Tool Broker - Mediation & Capability Checks
Process completed with exit code 1.
|
|
Synthetic Probe - Cert/Policy/Receipt Validation
Cannot find name 'console'. Do you need to change your target library? Try changing the 'lib' compiler option to include 'dom'.
|
|
Synthetic Probe - Cert/Policy/Receipt Validation
Cannot find name 'console'. Do you need to change your target library? Try changing the 'lib' compiler option to include 'dom'.
|
|
Synthetic Probe - Cert/Policy/Receipt Validation
Cannot find name 'console'. Do you need to change your target library? Try changing the 'lib' compiler option to include 'dom'.
|
|
Synthetic Probe - Cert/Policy/Receipt Validation
Cannot find name 'console'. Do you need to change your target library? Try changing the 'lib' compiler option to include 'dom'.
|
|
Synthetic Probe - Cert/Policy/Receipt Validation
Cannot find name 'console'. Do you need to change your target library? Try changing the 'lib' compiler option to include 'dom'.
|
|
Synthetic Probe - Cert/Policy/Receipt Validation
Cannot find name 'console'. Do you need to change your target library? Try changing the 'lib' compiler option to include 'dom'.
|
|
Synthetic Probe - Cert/Policy/Receipt Validation
Cannot find name 'console'. Do you need to change your target library? Try changing the 'lib' compiler option to include 'dom'.
|
|
Synthetic Probe - Cert/Policy/Receipt Validation
Cannot find name 'console'. Do you need to change your target library? Try changing the 'lib' compiler option to include 'dom'.
|
|
Synthetic Probe - Cert/Policy/Receipt Validation
Cannot find name 'setInterval'.
|
|
Synthetic Probe - Cert/Policy/Receipt Validation
'receiptVerifier' is declared but its value is never read.
|
|
Decision Path Flow - End-to-End Validation
Process completed with exit code 1.
|
|
Access Receipts - Signature/Expiry Validation
Process completed with exit code 1.
|
|
Policy Kernel - Validation & Replan Logic
Process completed with exit code 1.
|
|
Egress Certificates - PII/Secret Detection
Process completed with exit code 1.
|
|
Final Summary & Notifications
Process completed with exit code 1.
|
|
Safety Case - Evidence & Verdict Validation
No files were found with the provided path: testbed/safety-case-validation/. No artifacts will be uploaded.
|
|
Non-Interference (MonNI) - Bridge Validation
No files were found with the provided path: testbed/ni-validation/. No artifacts will be uploaded.
|
|
Tool Broker - Mediation & Capability Checks
No files were found with the provided path: testbed/tool-broker-validation/. No artifacts will be uploaded.
|
|
Synthetic Probe - Cert/Policy/Receipt Validation
No files were found with the provided path: testbed/probe-results/. No artifacts will be uploaded.
|
|
Decision Path Flow - End-to-End Validation
No files were found with the provided path: testbed/flow-validation/. No artifacts will be uploaded.
|
|
Access Receipts - Signature/Expiry Validation
No files were found with the provided path: testbed/receipt-validation/. No artifacts will be uploaded.
|
|
Policy Kernel - Validation & Replan Logic
No files were found with the provided path: testbed/kernel-validation/. No artifacts will be uploaded.
|
|
Egress Certificates - PII/Secret Detection
No files were found with the provided path: testbed/egress-validation/. No artifacts will be uploaded.
|
|
Final Summary & Notifications
No files were found with the provided path: testbed/final-summary/. No artifacts will be uploaded.
|