synthesis-promotion-gate

Synthesis Promotion Gate

Doctrine

A successful build is not a publication-safety signal. A build establishes that a renderer accepted its inputs. Promotion requires a second judgment over the outgoing artifacts, in the representations the destination exposes.

This skill supplies that boundary for configured promotion scaffolding. It does not decide whether ordinary prose is appropriate to disclose, prove that an undeclared consumer does not exist, or grant publication or deployment permission. Those approval gates remain in force. A clean receipt is evidence only for the exact policy, inputs, renderers, routes, representations, and command recorded in it.

Two Commands, Two Authority Classes

check builds and inspects but cannot change publication state:

python3 skills/synthesis-promotion-gate/scripts/promotion_gate.py check \
  --config .agents/promotion-gate.yaml \
  --receipt .agents/receipts/promotion-check.json

Its receipt is an acceptance-test, with authority_receipt: false.

enforce is the production entry point. It builds into an isolated temporary root, captures each expected output exactly once, inspects those captured bytes, closes the output universe, materializes a separate content snapshot, writes a candidate receipt, and re-hashes the contract and snapshot immediately before the boundary. It then invokes the supplied promotion command. The command must carry both {candidate_receipt} and {output_root} as literal arguments; the gate substitutes the exact receipt and captured-snapshot paths.

python3 skills/synthesis-promotion-gate/scripts/promotion_gate.py enforce \
  --config .agents/promotion-gate.yaml \
  --receipt .agents/receipts/promotion-enforced.json \
  -- python3 tools/promote.py {candidate_receipt} {output_root}

Only a clean enforce run whose supplied command returns zero issues an enforced-gate receipt with authority_receipt: true. A dirty artifact, missing route, changed input, changed policy, failed build, or failed promotion command refuses the transition. The receipt withholds matched content and records a digest instead.