Skip to content

feat: add capability contracts and catalog - #7

Merged
jmgilman merged 1 commit into
masterfrom
feat/increment-2-contracts
Aug 23, 2026
Merged

jmgilman merged 1 commit into
masterfrom
feat/increment-2-contracts

Conversation

@jmgilman

Copy link
Copy Markdown
Contributor

Summary

  • add typed capability, authorization, error, and positive execution-limit contracts
  • compile restricted Starlark binding plans for keyword inputs, canonical authorization arguments, signatures, shapes, and bounded result conversion
  • validate and statically filter registrations before deriving immutable sorted lookup, namespace, search, and exact-description surfaces

Verification

  • ▮▮▮▮ root:lint (f75744d0)
    ▮▮▮▮ root:lint (689ms, f75744d0)

Tasks: 1 completed
Time: 708ms

  • ok github.com/meigma/codemode (cached)
    ok github.com/meigma/codemode/authz (cached)
    ok github.com/meigma/codemode/internal/binding (cached)
    ok github.com/meigma/codemode/internal/catalog (cached)
  • ok github.com/meigma/codemode/authz (cached)
    ok github.com/meigma/codemode/internal/binding (cached)
    ok github.com/meigma/codemode/internal/catalog (cached)
    ok github.com/meigma/codemode (cached)

Compile restricted Starlark binding plans once and derive typed inputs, canonical authorization arguments, signatures, and safe bounded results from them. Validate and statically filter registrations before building immutable sorted lookup, namespace, search, and description surfaces.
@jmgilman
jmgilman merged commit 830d70d into master Aug 23, 2026
4 checks passed
This was referenced Sep 11, 2026
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