A03 — Finite primitives composed into procedural structure

• Input [direct]: Blinded procedural flow retaining reasoning steps, decision structure, and evaluation criteria while masking identity and domain cues.
• Operation [direct]: Extract reasoning verb phrases with context and confidence; cautiously normalize them into candidate primitives; document merges and disagreements; track vocabulary growth; reconstruct flow from primitive sequences. A separate proposal extracts entries, exits, conditions, branches, loops, invariants, termination, and procedural trees.
• Output [direct]: Extraction records, normalized vocabulary, growth history, primitive sequences, reconstructions, and unresolved merges; the newer proposal adds structural representations.
• Scope conditions [direct]: Reasoning-heavy procedural artifacts; current evidence is weaker for representational, classificatory, and coordination-heavy artifacts.
• Failure conditions [direct]: Domain drift, continuing vocabulary growth, poor reconstruction, or failure of independent extractors to converge.
• Predicted effect [direct]: Independent extractors should converge more on reasoning-heavy artifacts than coordination-heavy artifacts; vocabulary growth should slow sooner for reasoning artifacts.
• Measurement [direct]: Vocabulary growth, extractor agreement, reconstruction strength, ambiguity, and merge disagreements.
• Named baseline [absent]: No matched free-form encoding baseline is frozen.
• Boundary condition [direct]: Vocabulary must be frozen before holdout testing; internal product artifacts are excluded from initial extraction.
• Implementation test [direct]: Blind extraction, cautious normalization, reconstruction from sequences, then holdout transfer without vocabulary modification.
• Decision rights [direct]: Extractor proposes; disagreements and uncertain candidates are preserved rather than forced.
• Uncertainty handling [direct]: Record confidence, notes, disagreements, and rejected merges.
• Verification [direct]: Independent extractor comparison and merge-disagreement audit.
• Provenance [direct]: Raw verb phrase, surrounding context, inferred operation, confidence, and notes.
• Implementation cost [inference]: Blinding, extraction, normalization, reconstruction, reconciliation, and holdout passes.
• Limitations [direct]: Single extractor and same model family in the internal run; prior research awareness; subjective recognizability; normalization and selection bias.
• Fidelity check [direct/inference]: No artifact names or domain terms drive primitives; every merge is logged; the frozen vocabulary is unchanged during holdout.
• Null-capable future experiment [direct]: Independent extraction can show non-convergence, continued vocabulary growth, or failed reconstruction.

Statement basis

• Direct: Core procedure, fields, predictions, boundaries, failure tests, and limitations.
• Inference: Consolidated mechanism wording and cost.
• Proposal-only: Compiler-like structural extraction in FE-013 and candidate grammar terms.
• Absent: Frozen matched baseline.