research-document
FE-013 Procedural Language Packet
FE-013 Procedural Language Packet
packet_id: FE-013-P002
blinded_artifact_id: BA-013-002
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: Observe the evolving situation.
Interpret what the situation means.
Decide how to respond.
Act on the chosen response.
Reassess and repeat when conditions change.
output_schema: { "packet_id": "FE-013-P002", "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