ed
86fe3ef53b
conductor(deob_warmup): Update report.md v2 - 1.13 + 3 tier tables + 3.5 note + 10 per-language rendering
Design doc v2. Section 1.13 (Encoding-explicit) updated with placeholder scheme: float (general) / integer (general) / Scalar (linear/geo/tensor alg) / float64 (resolved). Section 3.1, 3.2, 3.3, 3.4 tier tables updated: 5 wrong re-encodings removed (set/kind, function/procedure, parameter/argument, input/arg, proof/construction, partial in 4.4). 4 template notations in 3.14 (B default, C++/Odin/Jai opt-in). 3 new entries added: 1.13 (<< / >>), 3.19 (Markov chain), 3.20 (PolyTimeAdversary), 4.25 (correlation), 4.26 (<< / >> with tolerance). Section 3.5 note added: pseudo sectr lang is incomplete and needs adapting (per user 2026-06-23). Section 10 added: per-language rendering pointer to lexicon.md 9.
v1 state preserved in git history; v2 is the current state. 13 sections + 2 appendices.
2026-06-23 20:01:00 -04:00
..
2026-06-15 14:29:07 -04:00
2026-06-21 22:39:14 -04:00
2026-03-08 13:55:32 -04:00
2026-06-21 14:12:03 -04:00
2026-06-08 23:40:27 -04:00
2026-06-22 10:46:34 -04:00
2026-06-22 19:10:17 -04:00
2026-06-04 19:42:04 -04:00
2026-05-16 17:02:14 -04:00
2026-03-10 00:24:03 -04:00
2026-06-12 21:27:44 -04:00
2026-06-21 19:18:14 -04:00
2026-06-15 14:49:59 -04:00
2026-06-16 10:16:17 -04:00
2026-06-18 23:04:19 -04:00
2026-03-10 00:23:03 -04:00
2026-05-10 15:59:32 -04:00
2026-03-08 03:05:15 -04:00
2026-06-15 19:34:20 -04:00
2026-06-18 15:36:53 -04:00
2026-03-06 14:52:10 -05:00
2026-06-08 23:41:43 -04:00
2026-06-08 20:59:27 -04:00
2026-06-21 08:41:37 -04:00
2026-06-20 12:33:55 -04:00
2026-03-08 13:46:38 -04:00
2026-06-21 22:39:14 -04:00
2026-06-10 23:34:33 -04:00
2026-06-15 20:41:12 -04:00
2026-06-20 17:20:40 -04:00
2026-06-19 19:35:17 -04:00
2026-06-20 17:20:40 -04:00
2026-06-21 09:10:44 -04:00
2026-06-20 02:55:37 -04:00
2026-06-17 16:58:19 -04:00
2026-06-18 14:06:09 -04:00
2026-06-17 01:57:52 -04:00
2026-06-12 21:30:47 -04:00
2026-06-13 16:45:23 -04:00
2026-06-19 20:35:19 -04:00
2026-05-13 11:24:58 -04:00
2026-06-19 14:30:43 -04:00
2026-06-20 07:46:10 -04:00
2026-03-10 00:18:12 -04:00
2026-06-22 00:01:34 -04:00
2026-06-23 00:08:35 -04:00
2026-06-22 01:46:07 -04:00
2026-06-21 16:28:24 -04:00
2026-06-22 01:25:50 -04:00
2026-06-23 18:06:00 -04:00
2026-06-23 17:19:29 -04:00
2026-06-23 20:00:23 -04:00
2026-06-23 20:00:05 -04:00
2026-06-23 16:25:47 -04:00
2026-06-23 20:01:00 -04:00
2026-06-21 17:16:05 -04:00
2026-06-21 23:07:20 -04:00
2026-06-21 23:31:03 -04:00
2026-06-22 01:04:43 -04:00
2026-06-22 00:52:05 -04:00
2026-06-21 22:41:50 -04:00
2026-06-21 16:46:19 -04:00
2026-06-23 16:48:02 -04:00
2026-06-22 19:40:28 -04:00
2026-03-08 13:49:43 -04:00
2026-06-06 00:42:40 -04:00
2026-06-06 00:42:40 -04:00