← Back to directory

An offline C aggregate-refactoring agent needs which scalar subobjects initializ...

https://detect.halowerk.com/v1/F-A-NEXT-C_INITIALIZER/c-designated-aggregate-initializer-cursor

Overview

An offline C aggregate-refactoring agent needs which scalar subobjects initializer entries populate after nested designators and brace elision, and which earlier values later initialization overwrites.

Protocol x402 (POST)
Price $0.0030
Payment Asset USD Coin
Payment Network eip155:8453
Category uncategorized
Provider detect
Source bazaar
Indexed 2026-11-02 17:26:26

Health

Status unknown
Latency (p50) —
Uptime (30d) —
Reliability Score —
Last Checked Never
Last Healthy Never
Consecutive Failures 0

x402 Payment Validation

Payment Requirements —
Asset Verified —
Facilitator —

Input Schema

{ "body": { "artifact": { "c_initializer": { "claim": 6, "initializer": { "items": [ { "designators": [], "init": 1 }, { "designators": [], "init": 2 }, { "designators": [], "init": 3 } ] }, "type": { "element": { "element": { "kind": "scalar" }, "kind": "array", "length": 2 }, "kind": "array", "length": 2 } } } }, "bodyType": "json", "method": "POST", "type": "http" }

Output Schema

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [], "limits": [ "Only the explicitly supplied bounded anonymous operand model and exact integer claim are evaluated.", "No external resource or native system is queried or changed; source contents and contact values are not returned.", "This is a declared-model correspondence finding without a security, legal, operational or compliance verdict." ], "module": "c-designated-aggregate-initializer-cursor", "state": "not_observed", "value": { "claim_matches": true, "explicit_scalar_assignments": 3, "overwritten_scalar_values": 0, "scalar_values": [ 1, 2, 3, 0 ], "statistic": 6, "zero_filled_scalar_count": 1 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }