When it fits
- A Go module needs CI validation.
Proposed guarantees
These describe the intended contract. Consult implementation and verification evidence before relying on them.
- Explicit module/toolchain
- Failed checks propagate
What stays outside
- Universal CI orchestration
Failure modes
- Required check skipped
- Caller events lost
Existing alternatives
GitHub reusable workflows
Use workflow_call for complete jobs.
Implementations
No AMSL implementation is recorded in this snapshot. External alternatives above are not claims of AMSL adoption.
Evidence and verification
Candidate selection includes restricted, maintainer-reported evidence. It is not independently reproducible here, and no private source details are published.
No executed verification or real consumer adoption is recorded in this snapshot.
Open questions
- Verify in two real modules without weakening caller gates.