agi4 0.1.1

AGI/4 specification and reference runner
Documentation

agi4

AGI/4 specification and reference runner.

Public facade library and CLI binary for issuing AGI/4 attestations based on upstream benchmark sources.

Library API

use agi4::{Verdict, render_verdict};
use agi4::schema::VerdictOutput;

// Core verdict logic
let verdict = agi4::verdict(/*...*/);

// Render to Markdown
let markdown = render_verdict(&verdict_output);

// Access thresholds
let threshold = agi4::thresholds::generality::ARC_AGI_2_PASS;

CLI

# Attest using local fixture
agi4 attest --model example --fixture ./tests/fixtures/example/

# Render verdict to Markdown
agi4 render --input verdict.json

# Export JSON schema
agi4 schema

# Show version
agi4 version

Features

  • Verdict Curation: Re-exports core types (Verdict, ConjunctStatus, Evidence, VerdictOutput)
  • Consistency Checks: Cross-conjunct validation function
  • Report Rendering: Markdown report generation from verdicts
  • Threshold Constants: All SPEC.md §3 values accessible at agi4::thresholds::
  • CLI Subcommands: attest, render, schema, version
  • JSON Output: Valid JSON Schema Draft 7 output
  • Version Tracking: VERSION and SPEC_VERSION constants track SPEC.md exactly

Versions

  • agi4 crate version: Tracks SPEC.md SemVer exactly
  • spec_version in verdict JSON: Identifies specification version
  • runner_version in verdict JSON: Identifies runner implementation version

See Also