Add runtime boundary promotion gates

This commit is contained in:
2026-06-11 15:03:54 +08:00
parent 1ab5571ae1
commit 949d5d2756
9 changed files with 3563 additions and 70 deletions

View File

@@ -424,8 +424,10 @@ append_native_runtime_probe_summary_row() {
local boundary_kind="$3"
local target="$4"
local runtime_probe="$5"
local prefix="$6"
local stdout_log="$7"
local required_native_proof="$6"
local opt_in_env="$7"
local prefix="$8"
local stdout_log="$9"
local runtime_ready
local source_proof_ready
@@ -433,41 +435,49 @@ append_native_runtime_probe_summary_row() {
local execution_enabled
local promotion_allowed
local missing_requirements
local probe_note
runtime_ready="$(stdout_value "$stdout_log" "${prefix}_runtime_ready")"
source_proof_ready="$(stdout_value "$stdout_log" "${prefix}_source_proof_ready")"
probe_status="$(stdout_value "$stdout_log" "${prefix}_runtime_probe_status")"
execution_enabled="$(stdout_value "$stdout_log" "${prefix}_execution_enabled")"
promotion_allowed="$(stdout_value "$stdout_log" "${prefix}_promotion_allowed")"
missing_requirements="$(stdout_value "$stdout_log" "${prefix}_missing_requirements")"
probe_note="$(stdout_value "$stdout_log" "${prefix}_runtime_probe_note")"
printf '%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\n' \
printf '%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\n' \
"$boundary_class" \
"$boundary_kind" \
"$target" \
"$runtime_probe" \
"$required_native_proof" \
"$opt_in_env" \
"$runtime_ready" \
"$source_proof_ready" \
"$probe_status" \
"$execution_enabled" \
"$promotion_allowed" \
"${missing_requirements:-"-"}" \
"${probe_note:-"-"}" \
"${stdout_log#"$BUILD_DIR"/}" >> "$tmp"
}
write_native_runtime_probe_summary() {
local tmp
tmp="$(mktemp)"
printf '%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\n' \
printf '%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\n' \
boundary_class \
boundary_kind \
target \
runtime_probe \
required_native_proof \
opt_in_env \
runtime_ready \
source_proof_ready \
probe_status \
execution_enabled \
promotion_allowed \
missing_requirements \
probe_note \
stdout_log > "$tmp"
append_native_runtime_probe_summary_row \
@@ -476,6 +486,8 @@ write_native_runtime_probe_summary() {
external_user_m_process \
axis/vismach/millturn/example.ngc \
linuxcnc_millturn_user_m_runtime_probe \
native_runtime_state_probe_required \
ENABLE_MILLTURN_USER_M_RUNTIME_PROBE=1 \
millturn_user_m \
"$BUILD_DIR/linuxcnc_millturn_user_m_runtime_probe.run.stdout.log"
@@ -485,6 +497,8 @@ write_native_runtime_probe_summary() {
tool_database_process \
axis/db_demo/base.ngc \
linuxcnc_tool_db_runtime_probe \
native_db_process_protocol_probe_required \
ENABLE_TOOL_DB_RUNTIME_PROBE=1 \
tool_db \
"$BUILD_DIR/linuxcnc_tool_db_runtime_probe.run.stdout.log"
@@ -494,6 +508,8 @@ write_native_runtime_probe_summary() {
python_runtime \
axis/remap/stop-lookahead/nc_files \
linuxcnc_python_remap_runtime_probe \
linuxcnc_python_runtime_lifecycle_probe_required \
ENABLE_PYTHON_REMAP_RUNTIME_PROBE=1 \
python_remap \
"$BUILD_DIR/linuxcnc_python_remap_runtime_probe.run.stdout.log"