Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
343,167 changes: 169,563 additions & 173,604 deletions .aegis/baseline.json
6 changes: 4 additions & 2 deletions CHANGELOG.md → .github/CHANGELOG.md
File renamed without changes.
File renamed without changes.
22 changes: 11 additions & 11 deletions Cargo.lock
4 changes: 2 additions & 2 deletions Cargo.toml
19 changes: 17 additions & 2 deletions README.md
672 changes: 672 additions & 0 deletions docs/handoffs/PLATFORM_DECISION_RUNTIME_ADOPTION_HANDOFF_2026-10-12.md
2 changes: 1 addition & 1 deletion fixtures/conformance/abstain-no-evidence.json
2 changes: 1 addition & 1 deletion fixtures/conformance/choice-lexical-accept.json
2 changes: 1 addition & 1 deletion fixtures/conformance/relational-proof.json
Loading