3 principled maps reshaped per v2 corrections.
Map 1 (Curry-Howard): proof/construction distinction preserved; construction is a sub-type tag, not a replacement (per user 2026-06-23).
Map 2 (Types=Kinds, v2): Removed the 'Sets' leg (set is a data structure, not an enumerable type). Documented that 'kind' (lowercase) is reserved for enumeration types: components, DAG nodes, fat structs. Type/Genus/Kind are analogous (per user 2026-06-23).
Map 3 (Procedures=Words, v2): Removed the 'Functions' leg. function (declarative/math) and procedure (imperative/CS) are distinct concepts (per user 2026-06-23).
Maps 4, 5, 6 unchanged.
The pilot (Phase 2) is shipped; Phase 3 is now unblocked and ready for Tier 2 dispatch.
5 new files in video_analysis_deob_apply_20260621/:
- spec.md: updated to reference the new files (lightweight scaffold)
- plan.md: 6-phase pipeline (init → read → apply A cluster → apply B cluster → apply C cluster → apply E+D+synthesis → final report + verify) with 25 tasks
- metadata.json: scope, 14 verification criteria, 5-item risk register, 10 user directives
- state.toml: 6 phases + 25 tasks + 10 verification flags + 11 user-directives-logged entries
- TIER2_STARTER.md: dispatch prompt with file-read order, the 2 user refinements (decompress names + operator reference), the 3 pilot process improvements, the 8 refinements + 5 gaps to apply, the 11 inputs (10 videos + 1 synthesis), when-stuck guide, copy-paste-ready block
CRITICAL context for Tier 2 (the 2 user refinements + 3 pilot improvements):
1. **Decompress names AND expressions** (per 2026-06-23): use DESCRIPTIVE names, NOT single letters. Multi-line constructions preferred.
2. **Use the operator reference** (report.md §9): 13 categories of operators with behavior + type signatures. The LLM should consult this when applying the de-obfuscation.
3. **3-column translation tables** (pilot improvement #1)
4. **Tier-categorized decoders** (pilot improvement #2)
5. **Split apply_report.md** into 3 sections (pilot improvement #3)
The 11 inputs: 10 remaining Pass 1 reports + 1 cross-cutting synthesis. Produces 34 deliverables (33 per-video 3-layer files + 1 apply report). This is the FINAL phase of Pass 2 — the result feeds Pass 3 (projection to applied domain, future, user-led).
Per user 2026-06-23 feedback on the pilot output:
1. **Decompress names AND expressions** (in prompt_template.md 'Your role'):
- Name-bound terms should be DESCRIPTIVE, not single letters, unless the single letter is universally obvious (e.g., x for input, f for function)
- Examples: p(X₁, ..., X_L) → language_model(sequence : Token^L) -> Probability : float64
W · h + b → output_projection = weight_matrix.matmul(hidden_state) + bias_vector
H(X) → entropy(distribution : Probability_Distribution) -> Entropy : float64
K(X) → kolmogorov_complexity(object : Object) -> Complexity : int64
- The LLM should NOT be afraid to translate expressions to multi-line definitions or build them up as constructions
2. **§9 Operator reference (indexed)** in report.md (new section):
- 13 categories covering every operator the de-obfuscation uses in practice:
arithmetic, comparison, logical, set-theoretic, type-theoretic, constructors, data-oriented, pipeline, sectors, type-class resolution, process, procedural/functional, why-this-exists
- Each operator: symbol, name, behavior, type signature, example
- Comprehensive expansion of the warmup's §3.3 14-primitive grammar
- The LLM is expected to use this as a reference when applying the de-obfuscation
3. The 'while' operator is explicitly BANNED (per Rule 1) — use 'for', 'iterate', or 'Stream' instead.
These 2 refinements will be propagated forward:
- prompt_template.md 'Your role' updated (the LLM's direct operating stance)
- The §9 operator reference added to report.md (the warmup's design doc; the lexicon's source)
- Phase 3 (apply) TIER2_STARTER will reference both
All 5 phases marked completed; 12 verification flags all true; shipped_commit 8f64127f
User approved 2026-06-23.
Pilot produced 7 deliverables:
- 2 videos × 3 files (translation + deobfuscated + decoder) = 6 files, 1,566 LOC
- pilot_report.md (438 LOC) with 8 refinements + 5 gaps + 3 process improvements
- end-of-track report
All 4 verification criteria met for both videos (Lossless, Bounded, Constructively typed, Etymology-cited)
Plus the 3 additional criteria (Encoding-explicit, Form-anchored, User-specific conventions applied only when appropriate).
Phase 3 (apply) is now unblocked (consumes pilot_report.md refinements).
ed