render, engine: drop two write-only struct fields

stride_binding (struct estimate) and n_projecting (struct hardening_report) were
each populated but never read outside a single test assertion. stride_binding was
a symmetry artifact of the engine rewrite with no stride-lineage consumer;
n_projecting shipped un-wired in its introducing commit — the combined-ceiling
line it was meant to gate has always gated on has_projection. Remove both fields,
their assignments, and the stale comment that described the never-wired gate.

No behavior change: the -H output is byte-identical and the stride pair (value +
CRT folding) is untouched. Adjust the two tests that asserted the fields.

Author: bcoles

src/estimate.c

@@ -206,7 +206,6 @@ void estimate_meet(struct estimate *e, const struct quantity_def *qd,
       if (e->stride == 0) {
         e->stride = m;
         e->stride_offset = r % m;
-        e->stride_binding = c->id;
       } else {
         unsigned long combined_r, combined_m;
         if (!stride_crt(e->stride_offset, e->stride, r % m, m, &combined_r,
@@ -216,12 +215,10 @@ void estimate_meet(struct estimate *e, const struct quantity_def *qd,
            * the standard interval test. */
           e->lo = 1;
           e->hi = 0;
-          e->stride_binding = c->id;
           break;
         }
         e->stride = combined_m;
         e->stride_offset = combined_r;
-        e->stride_binding = c->id;
       }
       break;
     }

src/include/kasld/estimate.h

@@ -48,11 +48,9 @@ struct estimate {
    * value satisfies (q % stride) == stride_offset in addition to lying in
    * [lo, hi]. Multiple C_STRIDE constraints fold via CRT in estimate_meet;
    * unsolvable systems push the estimate to bottom. Always 0 on
-   * LK_MAXALIGN / LK_FINSET (the stride concept doesn't apply there).
-   * stride_binding names the most-recent C_STRIDE that touched the pair. */
+   * LK_MAXALIGN / LK_FINSET (the stride concept doesn't apply there). */
   unsigned long stride;
   unsigned long stride_offset;
-  uint32_t stride_binding;
 };
 
 /* Result of resolving one quantity: the estimate plus the ids of constraints

src/include/kasld/render_internal.h

@@ -183,18 +183,14 @@ struct hardening_report {
 
   /* Projected posture: current guaranteed residual entropy, and the
    * ceiling if ALL suggestions are applied together. has_projection is 0 when
-   * the engine is compiled out (projected rows are then suppressed).
-   * n_projecting counts suggestions carrying a projection (the combined-ceiling
-   * line is only informative once more than one contributes). The lockdown and
-   * dmesg-fallback suggestions carry their own projected pair because they are
-   * not gate_suggestions[] entries. */
+   * the engine is compiled out (projected rows are then suppressed). The
+   * lockdown and dmesg-fallback suggestions carry their own projected pair
+   * because they are not gate_suggestions[] entries. */
   int has_projection;
   int cur_vbits, cur_pbits;
   int all_vbits, all_pbits;
-  int all_impact;   /* distinct components silenced by applying every suggestion
-                     */
-  int n_projecting; /* suggestions (gate + lockdown + dmesg) with a projection
-                     */
+  int all_impact; /* distinct components silenced by applying every suggestion
+                   */
   /* Leave-one-out for the lockdown and dmesg-fallback suggestions (they are not
    * gate_suggestions[] entries). skip_* / silences mirror hr_suggestion. */
   int lockdown_has_projection, lockdown_silences;

src/quantities.c

@@ -42,7 +42,6 @@ static void top_interval(struct estimate *e, unsigned long lo,
   e->lo_conf = e->hi_conf = CONF_PARSED; /* honest top is an arch axiom */
   e->stride = 0;
   e->stride_offset = 0;
-  e->stride_binding = 0;
 }
 
 static void top_virt_image_base(struct estimate *e) {
@@ -118,7 +117,7 @@ static void top_maxalign(struct estimate *e) {
   e->hi = 0ul;
   e->lo_binding = e->hi_binding = 0;
   e->lo_conf = e->hi_conf = CONF_PARSED; /* honest top is an arch axiom */
-  e->stride = e->stride_offset = e->stride_binding = 0;
+  e->stride = e->stride_offset = 0;
 }
 
 static void top_va_bits(struct estimate *e) {
@@ -130,7 +129,7 @@ static void top_va_bits(struct estimate *e) {
   e->hi = 0ul;
   e->lo_binding = e->hi_binding = 0;
   e->lo_conf = e->hi_conf = CONF_PARSED; /* honest top is an arch axiom */
-  e->stride = e->stride_offset = e->stride_binding = 0;
+  e->stride = e->stride_offset = 0;
 }
 
 /* ---- the table -------------------------------------------------------- */

src/render/hardening.c

@@ -412,7 +412,6 @@ void build_hardening_report(struct hardening_report *r) {
         sg->has_projection = 1;
         sg->skip_vbits = pp.vbits;
         sg->skip_pbits = pp.pbits;
-        r->n_projecting++;
       }
     }
     if (r->suggest_lockdown) {
@@ -422,7 +421,6 @@ void build_hardening_report(struct hardening_report *r) {
         r->lockdown_has_projection = 1;
         r->lockdown_skip_vbits = pp.vbits;
         r->lockdown_skip_pbits = pp.pbits;
-        r->n_projecting++;
       }
     }
     if (r->suggest_dmesg_fallback) {
@@ -432,7 +430,6 @@ void build_hardening_report(struct hardening_report *r) {
         r->dmesg_fallback_has_projection = 1;
         r->dmesg_fallback_skip_vbits = pp.vbits;
         r->dmesg_fallback_skip_pbits = pp.pbits;
-        r->n_projecting++;
       }
     }
 

tests/test_estimate.c

@@ -509,17 +509,16 @@ static struct constraint mk_stride(enum kasld_quantity q, unsigned long residue,
   return c;
 }
 
-/* First stride constraint sets the annotation; the estimate's stride pair
- * matches the residue and modulus. */
-static void test_stride_first_constraint_sets_annotation(void) {
+/* First stride constraint sets the estimate's stride pair to the residue and
+ * modulus. */
+static void test_stride_first_constraint_sets_pair(void) {
   struct estimate e;
   quantities[Q_VIRT_IMAGE_BASE].init_top(&e);
   struct constraint c =
       mk_stride(Q_VIRT_IMAGE_BASE, 0x1234ul, 0x100000ul /* 1 MiB */, 1);
   estimate_meet(&e, &quantities[Q_VIRT_IMAGE_BASE], &c);
   assert(e.stride == 0x100000ul);
   assert(e.stride_offset == 0x1234ul);
-  assert(e.stride_binding == 1);
   assert(!estimate_is_bottom(&e, &quantities[Q_VIRT_IMAGE_BASE]));
 }
 
@@ -649,7 +648,7 @@ int main(void) {
   RUN(test_finset_meet);
 
   BEGIN_CATEGORY("Stride (C_STRIDE) algebra");
-  RUN(test_stride_first_constraint_sets_annotation);
+  RUN(test_stride_first_constraint_sets_pair);
   RUN(test_stride_same_modulus_agreeing_residues);
   RUN(test_stride_same_modulus_disagreeing_residues_bottom);
   RUN(test_stride_crt_combines_to_lcm);

tests/test_render.c

@@ -1867,7 +1867,6 @@ static void test_hardening_projection(void) {
   assert(rep.suggest_dmesg_fallback && rep.dmesg_fallback_has_projection == 1 &&
          rep.dmesg_fallback_silences == 1 &&
          rep.dmesg_fallback_skip_vbits == 6);
-  assert(rep.n_projecting == 3);
 
   /* Text: the current-vs-hardened anchor + a load-bearing verdict per
    * suggestion (each forfeits 1 bit). */