Luciazero

From a real Luciazero session (PR #18 in the Luciazero repo). The prompt is paraphrased; every output below is quoted from the runs, and the before/after table was re-run on 2026-10-14.

Summary

Bash 3.2, the macOS /bin/bash, returns 0 from source when the sourced file has a syntax error, so a broken gate let ./test.sh finish green. In --full, a broken full-only gate even printed PASS all checks green. The dispatcher now parses each gate before sourcing it, and a regression test proves every tier fails on a malformed gate.

Hypothesis ledger

H1: `source` of a file with a syntax error exits 0 under Bash 3.2
    refutable by: run test.sh over a stub gate containing `if then` with /bin/bash
    → confirmed (rc=0 in every tier)

Reproduction — /bin/bash 3.2.57, stub gate if then

Fix — test.sh

# Bash 3.2 can exit zero on a syntax error in a sourced file. Parse first,
# with the shell that will source it.
"${BASH}" -n "${ROOT}/tests/gates/${GATE_NAME}.sh" || {
  local GATE_RC=$?
  echo "FAIL: gate ${GATE_NAME} syntax" >&2
  return "${GATE_RC}"
}

Regression test: red, then green

• Test added first, fix not yet applied: ./test.sh --full → exit 1, FAIL: --discipline accepted a syntax error in a sourced gate
• With the fix: exit 0, ok malformed sourced gates return non-zero in every tier, a full-only gate included → PASS all checks green

Done report

Done: test.sh fails when a gate does not parse, in every tier
Proof: ./test.sh --full → PASS  all checks green
Not covered: gates that parse but misbehave at run time; their own exit status still decides
Left out: nothing

Next steps

• Merged as PR #18 after CI and an independent review passed.
• Keep the pre-source parse check; the tiers gate fails if it is removed.