agent-spec 1.2.0

Intent compiler for AI agent coding: human intent compiles through requirement IR into verifiable task contracts, mechanically verified against the code
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#[test]
fn contract_guard_posts_compact_pr_comment_and_keeps_full_step_summary() {
    let workflow = include_str!("../.github/workflows/contract-guard.yml");

    for term in [
        "> /tmp/contract-comment.md",
        "Full per-contract details are available in the workflow run summary.",
        "cat /tmp/contract-summary.md >> \"$GITHUB_STEP_SUMMARY\"",
        "readFileSync('/tmp/contract-comment.md', 'utf8')",
    ] {
        assert!(
            workflow.contains(term),
            "missing compact contract report boundary {term}"
        );
    }
}