Skip to content

feat: add portable forge-infra/v0 contract - #33

Merged
3leapsdave merged 2 commits into
mainfrom
forge-infra
Aug 27, 2026
Merged

feat: add portable forge-infra/v0 contract#33
3leapsdave merged 2 commits into
mainfrom
forge-infra

Conversation

@3leapsdave

Copy link
Copy Markdown
Member

Add contract: forge-infra/v0: a seven-lane portable contract for resolving forge capabilities, binding authority, and verifying live grants. Includes the draft standard, ADR-0009, schemas, reader guide, and check wiring.

Verification: make fmt, make lint, and make precommit are green on the branch tip.

3leapsdave and others added 2 commits August 26, 2026 22:27
Add a seven-lane companion contract for resolving forge capabilities,
binding authority, and verifying live grants without wrapping provider
CLIs or storing secrets.

Changes:
- Add schemas/forge-infra/v0 with catalog, profiles, plans, receipts
- Add the draft standard, ADR-0009, and a reader guide
- Wire sibling contract boundaries and make-check controls

Verification: make fmt, make lint, make precommit.

Generated by Grok 4.6 via Grok Build under supervision of @3leapsdave

Co-Authored-By: Grok 4.6 <noreply@3leaps.net>
Role: cxotech
Committer-of-Record: @3leapsdave
Close confused-deputy gaps in the portable plan/receipt battery: policy
input now matches execution target, operations, grants, and authority
actions; verification requires a successful usable binding; successors
cite the immediate prior receipt-producing action; validity instants
compare chronologically.

Verification: make fmt, make lint, make precommit.

Generated by Grok 4.6 via Grok Build under supervision of @3leapsdave

Co-Authored-By: Grok 4.6 <noreply@3leaps.net>
Role: cxotech
Committer-of-Record: @3leapsdave
@3leapsdave
3leapsdave merged commit f20de43 into main Aug 27, 2026
1 check passed
@3leapsdave
3leapsdave deleted the forge-infra branch August 27, 2026 03:30
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