Requirements, evidence, and execution

<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
         xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 https://maven.apache.org/xsd/maven-4.0.0.xsd">
  <modelVersion>4.0.0</modelVersion>
  <groupId>example</groupId><artifactId>requirements-demo</artifactId><version>1.0-SNAPSHOT</version>
  <properties><maven.compiler.release>21</maven.compiler.release><project.build.sourceEncoding>UTF-8</project.build.sourceEncoding></properties>
  <dependencies>
    <dependency><groupId>io.github.markpollack</groupId><artifactId>agent-judge-ai-core</artifactId><version>0.18.0</version></dependency>
    <dependency><groupId>io.github.markpollack</groupId><artifactId>agent-judge-json-jackson2</artifactId><version>0.18.0</version></dependency>
    <dependency><groupId>io.github.markpollack</groupId><artifactId>agent-judge-assertj</artifactId><version>0.18.0</version></dependency>
  </dependencies>
  <build><plugins>
    <plugin><groupId>org.apache.maven.plugins</groupId><artifactId>maven-compiler-plugin</artifactId><version>3.14.0</version></plugin>
    <plugin><groupId>org.codehaus.mojo</groupId><artifactId>exec-maven-plugin</artifactId><version>3.1.0</version></plugin>
  </plugins></build>
</project>

import java.util.List;
import java.util.Map;
import java.util.concurrent.atomic.AtomicInteger;
import io.github.markpollack.judge.ai.model.*;
import io.github.markpollack.judge.ai.requirements.*;
import io.github.markpollack.judge.evaluation.*;
import io.github.markpollack.judge.policy.*;
import io.github.markpollack.judge.verdict.*;
import static io.github.markpollack.judge.assertj.Assertions.assertThat;

public class RequirementsDemo {
    public static void main(String[] args) {
        var first = EarsRequirement.of("UC6-AC7", "fixture-v1", "Cancellation",
            "When an owner cancels before start, the system shall cancel the appointment.", null);
        var second = EarsRequirement.of("UC6-AC8", "fixture-v1", "Boundary",
            "When cancellation is requested at start, the system shall reject it.", null);
        var calls = new AtomicInteger();
        EvalModel runtime = request -> {
            calls.incrementAndGet();
            if (!request.messages().getFirst().content().contains("captured source facts"))
                throw new AssertionError("Evidence was not supplied");
            return new EvalModelResponse("UC6-AC7: PASS - Fixture.java:1\n"
                + "UC6-AC8: CANNOT_DETERMINE - boundary execution absent", "deterministic-fixture",
                null, Map.of("fixture", "requirements-demo"));
        };
        var jury = EarsJury.builder().runtime(runtime).requirements(List.of(first, second))
            .evidence("captured source facts").build();
        var stage = assertThat(jury).withPolicy(whole ->
            new PolicyDecision(PolicyAction.ESCALATE, "Obtain boundary evidence before relying"));
        EvaluationResult result = stage.evaluate();
        var codec = NativeRequirementCodecs.codec();
        EvaluationResult retained = codec.readEvaluation(codec.write(result));
        assertThat(retained).hasConclusion(Verdict.Conclusion.INCONCLUSIVE);
        assertThat(stage.evaluate()).hasConclusion(Verdict.Conclusion.INCONCLUSIVE);
        if (!retained.equals(result) || calls.get() != 1)
            throw new AssertionError("Complete retention or cached execution failed");
        System.out.println("INCONCLUSIVE; roster=" + retained.verdict().roster().size()
            + "; invocations=" + InvocationRecords.of(retained.verdict()).size() + "; calls=" + calls.get());

        EvalModel singleRuntime = request -> new EvalModelResponse("UC6-AC7: PASS - Fixture.java:1",
            "deterministic-fixture", null, Map.of());
        var judge = EarsJudge.builder().runtime(singleRuntime).requirement(first)
            .evidence("captured source facts").build();
        if (judge.judge().requirement() != first) throw new AssertionError("Requirement association lost");
        assertThat(first).judgedBy(EarsJudge.builder().runtime(singleRuntime))
            .withEvidence("captured source facts").isSatisfied();
        System.out.println("Prepared Judge and requirement-first AssertJ: PASS");
    }
}

mvn -q compile exec:java -Dexec.mainClass=RequirementsDemo

INCONCLUSIVE; roster=2; invocations=1; calls=1
Prepared Judge and requirement-first AssertJ: PASS