make check
structural checks passed; dynamic host check explicitly skipped because FN_ACL2 was unset
Scaffold OK: 204 Markdown files, 56 requirements, 28 proof targets, 19 scenario specifications.
Ledger OK: cited events exist, are not SUSPECT, and planning/ledger.md is current.
Ledger lints: 179 warnings (export hygiene, teeth form, hand-written record, include hygiene, host names); see planning/ledger.json.
host_check: SKIPPED -- FN_ACL2 is unset or does not name an executable, so no host file was loaded.  This check is not evidence until it runs with a real ACL2.

python3 -m unittest tests.test_ledger tests.test_certify_runner tests.test_host_boundary -v
failed: boundary test callers omit required --bundle or bundle= input; ledger and certification-runner cases passed
ERROR: test_ingress_refusal_and_fault_stay_distinct (tests.test_host_boundary.ExitCodeTests.test_ingress_refusal_and_fault_stay_distinct) (error='BpIngressError')
ERROR: test_ingress_refusal_and_fault_stay_distinct (tests.test_host_boundary.ExitCodeTests.test_ingress_refusal_and_fault_stay_distinct) (error='StoreIndeterminate')
ERROR: test_ingress_refusal_and_fault_stay_distinct (tests.test_host_boundary.ExitCodeTests.test_ingress_refusal_and_fault_stay_distinct) (error='StoreFault')
ERROR: test_pending_bpa_delete_is_reported_as_acceptance_not_failure (tests.test_host_boundary.ExitCodeTests.test_pending_bpa_delete_is_reported_as_acceptance_not_failure)
ERROR: test_non_ascii_bid_is_refused_rather_than_raising_an_encoding_error (tests.test_host_boundary.ReceiverBoundaryTests.test_non_ascii_bid_is_refused_rather_than_raising_an_encoding_error)
ERROR: test_over_long_and_empty_bids_refuse_the_same_way (tests.test_host_boundary.ReceiverBoundaryTests.test_over_long_and_empty_bids_refuse_the_same_way) (bid=0)
ERROR: test_over_long_and_empty_bids_refuse_the_same_way (tests.test_host_boundary.ReceiverBoundaryTests.test_over_long_and_empty_bids_refuse_the_same_way) (bid=513)
Ran 112 tests in 31.336s
FAILED (errors=7)

python3 tools/transcribe_check.py
completed with missing host cuts, advisory syscall drift and explicitly unmodeled boundaries; category fidelity-defects is zero
transcriptions=10 fidelity-defects=0 missing-host-cuts=14 syscall-drift=5 unmodelled=4