Analyze classified character ranges in CICS TSQ writes

Trace individual character origins into the literal-length prefix requested by WRITEQ TS. Require an explicit classification that prohibits queuing any character or substring from the named sources. Track equal-width MOVEs, bounded STRING DELIMITED BY SIZE and retained receiver suffixes. Across supported IF and EVALUATE branches, retain only origins with the same source declaration and position on every branch. Support bounded nested qualified paragraph PERFORMs. Limit character fields to 256 positions, STRING operands to 16, condition nesting to 16, expanded performed statements to 64 and active paragraphs to 16. Limit each character to 64 transfer steps and evidence sites. Unknown effects discard prior facts. Require FROM to name one ordinary standalone PIC X field. Require a positive literal LENGTH within that field. Validate queue name shapes and response or item storage. Only the first EXEC island can use a host's incoming snapshot. Unsupported commands, dynamic lengths, groups, aliases and incomplete source remain unresolved. Report attempted writes of classified characters. Do not infer successful storage, queue access, ownership, freshness or a CWE. Unknown origins and missing rows do not prove safe storage or erasure. Do not mask, truncate, delete or change transaction behavior. Preserve character origins across supported DISPLAY statements with up to 16 ordinary PIC X fields, literal slices and bounded ASCII text operands. Validate every operand before preserving facts. Device options, expressions, dynamic slices and unsupported storage remain barriers.