Client or integration
Codex App
Area
Catalog / models
Summary
On OpenCodex 2.61.0 (macOS, Codex runtime 0.155.1), newly discovered xAI grok-4.7 is published with a 128,000-token context and a generic reasoning ladder/default when no per-model override exists. The official contract is 500,000 tokens, low/medium/high/xhigh, default high.
This is separate from synthetic max/ultra picker compatibility discussed in #2420: before adding the missing ladder, ocx effort model xai/grok-4.7 reports unconstrained and translates max to max, rather than xhigh.
Logs or error output
| Field |
Before |
After explicit provider maps + ocx sync |
| catalog context_window / max_context_window |
128000 / 128000 |
500000 / 500000 |
| default_reasoning_level |
medium |
high |
| configured ladder |
unspecified |
low,medium,high,xhigh |
| inspect-model translation of max/ultra |
max |
xhigh |
opencodex_capability_provenance initially identified xai/grok-4.7 without a context assertion. The parser supplied 128000. ocx sync-cache alone did not rebuild these rows; ocx sync did.
A second discovered ID, xai/grok-4.7-build-fast, still has 128000 and the generic ladder. I have NOT assumed the public API model's limits apply to that OAuth/gateway-specific ID; it needs authoritative gateway metadata or a verified contract.
Reproduction
- Use xAI OAuth discovery with grok-4.7 available and no grok-4.7 entries in modelContextWindows/modelReasoningEfforts/modelDefaultReasoningEfforts.
- Run
ocx sync.
- Inspect the grok-4.7 row in the generated Codex catalog.
- Run
ocx effort model xai/grok-4.7.
- Compare against https://docs.x.ai/developers/models/grok-4.7.
Redacted configuration
Merge these entries into the existing xai provider maps (do not replace unrelated model entries):
{
"modelContextWindows": {"grok-4.7": 500000},
"modelReasoningEfforts": {"grok-4.7": ["low", "medium", "high", "xhigh"]},
"modelDefaultReasoningEfforts": {"grok-4.7": "high"}
}
The regenerated catalog and effort inspection were read back. This was metadata/translation verification, not a 500K input load test or captured generation request.
Related audit findings
Suggested fix and validation
Add exact new-model metadata to registry seeds and ensure discovery enrichment uses it. Keep unknown gateway variants explicitly unresolved instead of presenting parser fallback values as verified limits. Add a regression for discovered grok-4.7 context/default and max-to-xhigh wire mapping. Preserve synthetic client compatibility only with clear provenance.
No credentials, account identifiers, user prompts, or private configuration are included.
Version
2.61.0 (Codex runtime 0.155.1)
Operating system
macOS 26.6.2
Provider and model
xai / grok-4.7; related anthropic / claude-opus-5-5 metadata
Checks
Client or integration
Codex App
Area
Catalog / models
Summary
On OpenCodex 2.61.0 (macOS, Codex runtime 0.155.1), newly discovered xAI
grok-4.7is published with a 128,000-token context and a generic reasoning ladder/default when no per-model override exists. The official contract is 500,000 tokens, low/medium/high/xhigh, default high.This is separate from synthetic max/ultra picker compatibility discussed in #2420: before adding the missing ladder,
ocx effort model xai/grok-4.7reports unconstrained and translates max to max, rather than xhigh.Logs or error output
opencodex_capability_provenanceinitially identified xai/grok-4.7 without a context assertion. The parser supplied 128000.ocx sync-cachealone did not rebuild these rows;ocx syncdid.A second discovered ID,
xai/grok-4.7-build-fast, still has 128000 and the generic ladder. I have NOT assumed the public API model's limits apply to that OAuth/gateway-specific ID; it needs authoritative gateway metadata or a verified contract.Reproduction
ocx sync.ocx effort model xai/grok-4.7.Redacted configuration
Merge these entries into the existing xai provider maps (do not replace unrelated model entries):
{ "modelContextWindows": {"grok-4.7": 500000}, "modelReasoningEfforts": {"grok-4.7": ["low", "medium", "high", "xhigh"]}, "modelDefaultReasoningEfforts": {"grok-4.7": "high"} }The regenerated catalog and effort inspection were read back. This was metadata/translation verification, not a 500K input load test or captured generation request.
Related audit findings
Suggested fix and validation
Add exact new-model metadata to registry seeds and ensure discovery enrichment uses it. Keep unknown gateway variants explicitly unresolved instead of presenting parser fallback values as verified limits. Add a regression for discovered grok-4.7 context/default and max-to-xhigh wire mapping. Preserve synthetic client compatibility only with clear provenance.
No credentials, account identifiers, user prompts, or private configuration are included.
Version
2.61.0 (Codex runtime 0.155.1)
Operating system
macOS 26.6.2
Provider and model
xai / grok-4.7; related anthropic / claude-opus-5-5 metadata
Checks