FE-013 Procedural Language Packet

packet_id: FE-013-P005

blinded_artifact_id: BA-013-005

instructions: You are participating in a blinded procedural language study.

Do not evaluate the framework.

Do not redesign the framework.

Do not identify the framework unless recognition is unavoidable.

Your task is to recover the procedural structure.

Do not use the primitive vocabulary from FE-012C.

Do not output primitive sequences.

Extract compiler-like procedural properties:

• entry conditions
• exit conditions
• preconditions
• postconditions
• branches
• loops
• invariants
• termination conditions
• procedural AST

Return valid JSON only.

No markdown.

blinded_procedural_content: Define the focal situation.

Observe relevant internal and external factors.

Classify those factors into a fixed set of contrasting groups.

Evaluate which grouped factors matter most for the current situation.

output_schema: { "packet_id": "FE-013-P005", "recognized_artifact": "", "entry_conditions": [], "exit_conditions": [], "preconditions": [], "postconditions": [], "required_steps": [], "optional_steps": [], "branches": [ { "condition": "", "paths": [] } ], "loops": [ { "loop_condition": "", "returns_to": "" } ], "invariants": [], "termination_conditions": [], "procedural_ast": { "type": "", "label": "", "children": [] }, "canonical_summary": "", "ambiguities": [], "confidence": { "ast": "", "constraints": "", "overall": "" }, "notes": "" }

confidence_values:

• High
• Moderate
• Low