Skip to content

T8 2/14: contract seams + the conformance-oracle service - #59

Open
mzargham wants to merge 3 commits into
t8/01-k1-boundary-verifierfrom
t8/02-contracts-oracle
Open

T8 2/14: contract seams + the conformance-oracle service#59
mzargham wants to merge 3 commits into
t8/01-k1-boundary-verifierfrom
t8/02-contracts-oracle

Conversation

@mzargham

@mzargham mzargham commented Aug 3, 2026

Copy link
Copy Markdown
Member

Purpose: the modularity keystone (cds.contracts: ConformanceOracle, ModelStore) and the stateless conformance oracle (cds-oracle): model instance in, verdict + itemized tiered findings out; exactly /verify, /rules, /healthz.

Review note: the bulk of the diff is the committed, drift-gated docs/services/openapi-oracle.json; review the generator (export_openapi.py) and the API tests, skim the artifact.

Part of the T8 stack (see the stack map on the closed #57). Merge in order; delete the head branch on merge so GitHub retargets the next PR to main. Every PR's tip passes the full CI recipe (ruff, mypy strict, pytest) on its own.

Closes #48

🤖 Generated with Claude Code

mzargham and others added 3 commits August 2, 2026 20:26
…poses the oracle

cds.contracts imports only cds.core; InProcessOracle wraps verify(); ModelStore
re-exports the existing FlexoBackend Protocol (D8/D9 deferred with triggers).

Refs: #46 (MCP composes via contracts), #48 (oracle contract)

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…ranular findings; committed OpenAPI

Refs: #48 (conformance oracle; owner decomposition 2026-08-02)

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…o-wide mypy pass)

Refs: #48

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
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