All Classes and Interfaces
Class
Description
Writes the current contract to the baseline (FR-015): the IR the processor emitted, byte for
byte, or
EmptyContract's document when the sources declare nothing.The accept step's inputs.
Extension object for configuring the AI-ATLAS Gradle plugin.
Gradle plugin that configures a Java project to use the AI-ATLAS framework.
compileJava's compiler arguments and argument providers, read when the accept compilation runs.
compileJava's JVM argument providers, read when the accept compilation runs.
agenticRelease: snapshots the accepted contract of the main compilation as the immutable
release <release.directory>/<releaseVersion>/, compares it with the previous release,
checks the deprecation policy, and regenerates the aggregate changelog.agenticReleaseHistoryCheck, part of check: verifies only the internal
consistency of the committed release snapshots, with no git and no network: every released
file against the digests of its release.json, the previous chain, and that
.atlas/CHANGELOG.md equals what the release history would generate (AC13, AC14).agenticReleaseVerify: proves that agentic { releaseVersion } 's tag resolves to
exactly HEAD, and that the build matches that release's snapshot byte for byte, IR
canonically, and structurally in its effective configuration (E2, D6.2, D8.2, plan §3.5).atlasAccept (FR-015): writes the contract of the current sources to the baseline.atlasContractCheck (FR-008, FR-016): javac does not invoke the processor for a
compilation that declares no @AgenticEntity or @AgenticExposed, so the gate
cannot run inside compileJava when a module removes its last ai-atlas annotation.The collections flag of the main
compileJava task, when it is set.The contract options of the main
compileJava task (FR-016): the baseline's absolute
path and lock mode, and the constraints flag (FR-020) when it is set.Runs the processor's
EmptyContract check (FR-008) for a compilation that declares no
ai-atlas contract.The check's inputs.
Writes the empty contract (FR-008) into a compilation's class output, submitted from
compileJava.doLast only after the caller has confirmed, through ContractDeclarations,
that the class output declares no @AgenticEntity or @AgenticExposed at all: that
confirmation, not anything this action does, is what authorizes overwriting a stale "META-INF/ai-atlas/api.ir.json" an earlier, declaring compilation may have left behind (FR-016).The work's inputs.
agentic { release { policy { … } } }: what a release may remove from the contract the
previous release published.The projections flag of the main
compileJava task, when it is set.Releases the accepted contract through
ReleaseSnapshots.The release step's inputs.
Verifies the internal consistency of the committed release snapshots, through the processor's
ReleaseSnapshotHistory.checkConsistency(java.nio.file.Path, java.nio.file.Path): no git, no network, and it never reads the build's
class output.The check's inputs.
Reads the release directories
ReleaseSnapshots writes: the verified history, and the
aggregate changelog, extracted from ReleaseSnapshots so each file stays under the
500-line cap.Releases the accepted contract as an immutable snapshot,
<releases>/<version>/, and
verifies a build's contract against one already released.A release made.
A release that cannot be made, or a released snapshot that fails verification.
What to release.
agentic { release { … } } : where agenticRelease writes released contracts, and
the release policy.agenticReleaseVerify's worker: proves agentic { releaseVersion } 's tag resolves
to exactly HEAD (E2, D8.2, plan §3.5, OQ-3), through the same fail-closed
GitRepository and PublishedHistory proof agenticRelease uses, then
verifies the build matches that release through ReleaseSnapshots.verifyBuild(java.nio.file.Path, java.nio.file.Path, java.lang.String, byte[], java.util.Map<java.lang.String, byte[]>, java.lang.String).The verify step's inputs.
The REST flag of the main
compileJava task, when it is set.agentic { release { tagName } } : the git tag a released version is proved by (F1).