50%

Forward decomposition lever (auto-authored on terminal exhaustion)

Goal

Continue the grind with a fresh decomposition lever the ledger has not yet attempted, toward the same gate_metric — without leaving the grind or re-scoping the metric.

Items

  • Attack the unmet gate_metric from a NEW decomposition angle the ledger has not yet attempted. This section was auto-authored because the grind reached terminal decomposition-exhaustion on a REACHABLE gate_metric (residual movement, stable corpus, no whole-class wall): do NOT re-scope the metric and do NOT wait — decompose the remaining gap into a fresh attempt and continue the grind.
  • Advance the unmet aims_burden_aot_floor gate_metric by the regrounded GENERALIZE-AND-PROVE method (mission §5.1, §7), NOT by a surgical per-cell floor cure (§6.1 per-shape-surgical trap: [253]/[180]/[266]/[271]/[273]/[274] all forbid it). Pick the next generalized lever the ledger has not yet landed — one of the two spine properties (§2.1 frame-limited ownership/borrow property; §2.2 per-(var,field) allocation-identity union-find) or a §2.3 perf extension (per-iteration BlockLocal elision; static-unique in-place mutation). Calculus-first per §3 + arc.md §CP-1: prove the lever’s governing NEW theorem in COMPILED Lean (lake build clean, zero sorry; scratch-Lean per §CP-4 for the gap-proof) BEFORE implementing, then wire it as a typed input the burden baseline + product lattice consume (Invariant 5: extend BurdenSpec/lattice-dim/contract-field, NEVER a parallel emission path or shadow tracker). Ground the worked floor cell in rc-remarks first (§8: ori build —emit-rc-remarks under ORI_DISABLE_PREDICATE_STACK_RC=1 + scripts/intel-query.sh rc-survivors —by-cause / rc-cause-rank) to name its proof_failure + lattice_dim, evolving rc-remarks inline if the stream falls short. Verdict surface is the gated burden-only AOT floor (ORI_DISABLE_PREDICATE_STACK_RC=1 ORI_VERIFY_ARC=1 ORI_VERIFY_EACH=1), debug AND release, vs baseline_failing_ids.txt — the default path is FALSE-GREEN (arc.md §STOP). Record each retired per-shape scan/toggle as a KEPT ledger cycle and decrement the §4 collapse metric — the collapse IS the visible proof the generalization replaced the leaf. Do NOT re-scope the metric; do NOT wait.

Fresh intel (regenerated)

{ “schema_version”: 1, “target”: { “kind”: “plan-section”, “ref”: “aims-burden-tracking/s-40d57ed0” }, “generated_at”: “2026-06-30T11:49:50.208021+00:00”, “graph_state”: { “head_sha”: “c2391317”, “last_code_import_at”: “2026-06-30T11:46:16.51Z”, “embedding_stale”: true, “insights_stale”: false, “cpg_stale”: false }, “surfaces”: {}, “summary”: “intel-package[plan-section:aims-burden-tracking/s-40d57ed0] agent-authored dossier”, “degraded”: false, “dossier”: { “objective_symbols”: [], “tiers”: {}, “agent_authored”: true, “constrained_symbols”: [ “class_payload_of”, “populate_class_covered”, “ssa_alias_classes”, “populate_class_payload_of_with_liveness”, “ensure_singleton_class”, “cleanup_redundant” ], “difficulty”: { “class”: “open-hard”, “research_online”: true, “research_mode”: “auto”, “signals”: [ “grind-plan:gate_metric=aims_burden_aot_floor”, “ledger-evolution:20-entries”, “dead-end-density:104-reverted-or-inert(>= 3)” ], “plan_dir”: “/home/eric/projects/ori_lang/plans/aims-burden-tracking” }

(full dossier: forward-decomposition-lever-auto-authored-on-terminal—s-40d57ed0.intel.json)