Skip to content

audit(2026-05-31): add AGENTS.md operating contract#10

Merged
hizrianraz merged 1 commit into
mainfrom
audit/2026-05-31
May 31, 2026
Merged

audit(2026-05-31): add AGENTS.md operating contract#10
hizrianraz merged 1 commit into
mainfrom
audit/2026-05-31

Conversation

@hizrianraz
Copy link
Copy Markdown
Contributor

@hizrianraz hizrianraz commented May 31, 2026

Part of the org-wide audit — Linear AIN-328. Do not merge without founder review.

Change

  • + AGENTS.md — agents-as-users operating contract (template = valinor-gateway/AGENTS.md), tailored to this repo's role: identity, naming law v1.3, frozen-contract / history-of-record cautions where relevant, §0 premise probe, verified-done bar, secret rules.

Verified

  • AGENTS.md present; README/LICENSE unchanged; description checked against the law.
  • No edits to history-of-record or published contracts (flagged separately in AUDIT-REPORT.md / AIN-328).

🤖 Aulë · audit branch audit/2026-05-31 · not merged.


Note

Low Risk
Documentation-only addition with no runtime, API, or contract changes in the diff.

Overview
Adds AGENTS.md, an operating contract for agents working in this repo (audit branch / AIN-328). It documents the verifier’s role, Naming law v1.3 strings (including the frozen ainfera-os:genesis anchor), mandatory §0 premise checks before edits, a definition of done centered on uv run pytest and offline chain verification, and secrets/hygiene rules. No application code, tests, or published contracts are modified.

Reviewed by Cursor Bugbot for commit eeaebd9. Bugbot is set up for automated code reviews on this repo. Configure here.

Adds the agents-as-users operating contract (template = valinor-gateway),
tailored to this repo's role. Naming law v1.3; history-of-record and
published contracts left untouched (flagged in AUDIT-REPORT.md).

Refs AIN-328.
@hizrianraz hizrianraz merged commit 1c997ee into main May 31, 2026
4 checks passed
@hizrianraz hizrianraz deleted the audit/2026-05-31 branch May 31, 2026 09:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant