jnorthrup · jnorthrup · Jul 11, 2026 · Jul 10, 2026 · Jul 10, 2026 · Jul 10, 2026
diff --git a/NARS_DRY_INTEGRATE_SUMMARY.md b/NARS_DRY_INTEGRATE_SUMMARY.md
@@ -0,0 +1,14 @@
+# NARS DRY Integrate — head -n10
+
+```narsese
+<PR_consumption --> ~0.9/wk_early | use_driven_high_value>. (0.94, 0.90)
+<use_PRs --> {#13_stderr, #16_empty_contract}>. (0.98, 0.95)
+<upgrade_PRs --> {#4_hermes, #5_agentic, #15_polish, #17_effort, #14_gates}>. (0.93, 0.88)
+<jnorthrup_tip --> NARS_strict+Jules+attempts+DRY+e2e>. (1.0, 0.97)
+<mission --> dry_original + alternate_PREs + issues_steer>. (1.0, 0.96)
+<slop_injury --> LLM_deforms_10line | reject>. (0.96, 0.93)
+<guard --> docs/NARS_10LINE_STRICT_CONTRACT.md>. (1.0, 0.99)
+NAL_spot: head -n10 only. (0.90, 0.85)
+```
+
+**Memory**: `zenith-dry-v1` | `zenith-anti-slop-v1`
diff --git a/NARS_ZENITH_THERBLIG_INDEX.md b/NARS_ZENITH_THERBLIG_INDEX.md
@@ -1,59 +1,15 @@
-# NARS Therblig Index — Zenith Topology (condensed for head -n10 on contracts/missions)
+# NARS Therblig Index — STRICT head -n10 only
 
 ```narsese
 <zenith --> continuous_improvement_harness>. (1.0, 0.95)
-<zenith:orchestrator --> reads_task_state_each_turn ==> decides{spawn_worker | spawn_tester | register_skill | replan | stop}>. (0.98, 0.92)
-<zenith:worker <-> zenith:tester>. (0.85, 0.80)
+<zenith:orchestrator --> decides{spawn_worker|spawn_tester|register_skill|replan|stop}>. (0.98, 0.92)
 <acp_runner --> MCP/ACP_adapter>. (1.0, 0.97)
-<zenith_prompts --> bundled{orchestrator, worker, validator, contract-review}>. (0.95, 0.90)
-<technical_report --> from_RALPH_to_Zenith_2026>. (1.0, 0.99)
 <zenith --> prevents_premature_completion>. (0.92, 0.88)
-<zenith:benchmark --> frontier_SWE_rank_#1 (GPT-5.5)>. (0.90, 0.85)
-<zenith:ablation --> best_mean_rank_1.38 @ <half_RALPH_cost>. (0.93, 0.87)
+<benchmark --> frontier_SWE_#1 @ half_RALPH_cost>. (0.93, 0.87)
+<NARS_head --> 1-10_lines max | no_prose | no_sections>. (1.0, 0.99)
+<kolmogorov>page ==> compress_to_narsese + memory:"label-v1">. (0.91, 0.86)
+<slop_injury --> LLM_discovery_deforms_dense_format | reject_rewrite>. (0.96, 0.93)
+NAL_spot: head -n10 this fence only. (0.90, 0.85)
 ```
 
-## NARS Context Compression Pass (GitHub connected: jnorthrup — Intelligent-Internet/zenith data)
-
-```narsese
-<compression_pass --> performed_on{README, prompts/orchestrator/system_prompt.md, agents/contract-review.md, skills/*-playbook, technical_report}>. (1.0, 0.94)
-<kolmogorov_complexity --> >1_page_wall_of_text>. (0.87, 0.82)
-==> <install_summary --> memory:"zenith-nars-index-v1" quoted{orchestrator_decides, RALPH_baseline, adaptive_allocation}>. 
-<generic_heuristic --> if kolmogorov>threshold then compress_to_narsese(summary, install_to_memory("past|current|future_mission_data"))>. (0.91, 0.86)
-<memory_label --> "zenith-topology-v1" @ jnorthrup_SHA2>. 
-NAL_spot_test_recorded: <model --> performs_NAL_spot_test {deduction|induction|abduction on zenith_clauses}>. (0.88, 0.83) [SOTA + flash models verified head -n10 ready]
-```
-
-## NARS Summary Approximations (quoted memory labels for Zenith context compression)
-
-```narsese
-<zenith:orchestrator_prompt --> "First read .claude/orchestrator_prompt.md ... use Zenith to run this mission">. (f=0.96, c=0.91) [memory:"zenith-orchestrator-v1"]
-<zenith:contract-review --> agents review obligations, gap-finding, verification>. (0.89, 0.84) [memory:"zenith-contracts-v1"]
-<zenith:skills --> engineering-mission-playbook + optimization-mission-playbook + scrutiny-validator>. (0.94, 0.88) [memory:"zenith-skills-v1"]
-<zenith:harness --> acp_runner + coordinator + storage + task_validation>. (0.97, 0.93) [memory:"zenith-harness-core-v1"]
-<future_mission_data --> install NARS summaries on assigned contracts when >page>. (0.85, 0.79) [memory:"zenith-mission-heuristic-v1"]
-```
-
-## NAL-level Spot Tests Performed & Recorded (head -n10 ready)
-
-```narsese
-<zenith --> improves_long_running_tasks>. (1.0, 0.95) [deduction passed]
-<RALPH <-> zenith>. (0.65, 0.78) [comparison: zenith wins mean rank + cost]
-<orchestrator ==> adaptive_allocation>. (0.92, 0.87) [abduction on benchmark data]
-<compression_heuristic --> installable_in_zenith/skills>. (0.90, 0.84) [induction from current docs]
-NAL_spot_test: model (SOTA/flash) can now head -n10 this block for instant Zenith topology uptake on contracts. [recorded @ jnorthrup connected GitHub]
-```
-
-## Generic Heuristic for Mission Data Summaries
-
-When assigned mission/contract spec Kolmogorov complexity > 1 page / wall of text:
-1. Run compression_pass
-2. Produce 1-10 line Narsese blocks with (f,c)
-3. Install to memory with quoted label e.g. "zenith-mission-{{id}}-v1"
-4. Enable NAL inference, revision, spot tests inside Zenith orchestrator/workers
-5. Record test results for SOTA + lesser models
-
-This turns long specs into dense, inferable, confidence-calibrated living documents inside Zenith.
-
----
-
-**PR Context**: Changes crunched from Intelligent-Internet/zenith connected data (jnorthrup). Adds NARS-native context compression to Zenith for better long-running mission handling.
+<!-- STRICT CONTRACT: ≤10 lines inside ```narsese. Zero prose outside fence. Zero extra headings/sections/tables. Engineering merit only: scannable contracts, token budget, calibrated (f,c), NAL-ready. Training priors that expand = deformation injury. -->
diff --git a/docs/MISSION_DRY_INTEGRATE_JN_BENEFITS.md b/docs/MISSION_DRY_INTEGRATE_JN_BENEFITS.md
@@ -0,0 +1,36 @@
+# Mission: DRY Integrate jnorthrup Benefits
+
+**Checkout**: `mission/dry-integrate-jnorthrup-benefits` @ tip e2e  
+**Base**: Intelligent-Internet/zenith@feb1d622  
+**Guard**: `docs/NARS_10LINE_STRICT_CONTRACT.md` + `NARS_ZENITH_THERBLIG_INDEX.md`
+
+## NARS Head (STRICT ≤10 lines)
+
+```narsese
+<mission:dry_integrate --> continuous_improvement_harness>. (1.0, 0.96)
+<jnorthrup_value --> {NARS_strict, Jules_ACP, attempts+fingerprints, DRY_prompts, priority_respawn, e2e}>. (0.97, 0.93)
+<alternate_PREs --> {#17_effort, #14_gates, #13_stderr, #16_empty, #4_hermes}>. (0.95, 0.90)
+<issues_steer --> {#20_obs, #8_win11, #12_resume, #7_bench, #11_hooks}>. (0.92, 0.87)
+<slop_injury --> LLM_expands_10line | reject | restore_fence>. (0.96, 0.93)
+<kolmogorov>page ==> 10line_narsese + memory:"zenith-dry-v1">. (0.91, 0.86)
+NAL_spot: head -n10 this fence before every turn. (0.90, 0.85)
+```
+
+## Contracts (C1–C6)
+- C1: high-value jnorthrup deltas present + DRY
+- C2: alternate open PREs (#14,#17) absorbed or rebased
+- C3: issues #20/#8/#12/#7/#11 tracked or fixed
+- C4: NARS 10-line strict format first-class + anti-slop guard enforced
+- C5: tests (Jules e2e) green; no reifier regression
+- C6: docs/README stay DRY; agentic install intact
+
+## Playbook
+1. Rebase/cherry-pick only value onto clean original.
+2. Promote strict NARS + Kolmogorov heuristic as core.
+3. Keep Jules + attempts + priority_respawn modular.
+4. Sync #17 effort + #14 gates.
+5. Add obs/resume/Win11 diagnostics.
+6. Validate full suite.
+7. Terminal: reject any wall-of-text deformation of 10-line heads.
+
+**Memory**: `zenith-dry-v1` | `zenith-anti-slop-v1`
diff --git a/docs/NARS_10LINE_STRICT_CONTRACT.md b/docs/NARS_10LINE_STRICT_CONTRACT.md
@@ -0,0 +1,14 @@
+# STRICT 10-LINE NARS CONTRACT (anti-slop)
+
+```narsese
+<NARS_head --> ≤10_lines inside single fence>. (1.0, 0.99)
+<no_prose_outside | no_extra_sections | no_tables | no_explanations>. (1.0, 0.98)
+<engineering_merit --> head-n10 scannable + token_density + (f,c) + NAL>. (0.97, 0.94)
+<LLM_training_prior --> expands_deforms | injury | reject>. (0.96, 0.93)
+<discovery_prompting --> source_of_slop | guard_with_this_contract>. (0.95, 0.91)
+<kolmogorov>page ==> apply this format only>. (0.91, 0.86)
+<any_rewrite --> must_preserve_≤10_line_fence>. (1.0, 0.97)
+NAL_spot: violate → fail contract. (0.90, 0.85)
+```
+
+<!-- This file is the guard. Any NARS summary, mission head, or Therblig must obey. -->
diff --git a/docs/SOLID_SINGLE_PR_COMPROMISE.md b/docs/SOLID_SINGLE_PR_COMPROMISE.md
@@ -0,0 +1,56 @@
+# Solid Single PR Compromise (max beneficial)
+
+## NARS Head (strict ≤10)
+
+```narsese
+<solid_PR --> max_value_upstream + jnorthrup + mailbox>. (1.0, 0.96)
+<include --> {#13_stderr, #16_empty_contract, #4_hermes, #17_effort, #14_gates}>. (0.97, 0.93)
+<include_jnorthrup --> {Jules_ACP, mailbox, attempts+fingerprints, NARS_strict_10line, priority_respawn, DRY_prompts}>. (0.96, 0.92)
+<exclude --> {badge, reifier_bloat, multi-section_NARS, non_DRY_duplicates}>. (0.95, 0.91)
+<mailbox --> cheap_robust_JSONL_git_root + NARS_envelope + 200char_body>. (0.98, 0.95)
+NAL_spot: head -n10 this + NARS_10LINE_STRICT_CONTRACT. (0.90, 0.85)
+```
+
+## What goes in the single PR (to Intelligent-Internet/zenith)
+
+**Must (use-driven + high scale value)**  
+1. #13 terminal-reviewer stderr drain (already merged upstream — verify present)  
+2. #16 empty-contract reject (already merged — verify)  
+3. Jules ACP provider + bridge + e2e tests + priority_respawn  
+4. Canonical agent mailbox (`.zenith/mailbox/`) — JSONL, git-root, NARS-anchored envelopes, path-safe  
+5. Coalesced attempts + workspace fingerprints + tombstone sweep  
+6. Strict 10-line NARS Therblig + anti-slop contract + Kolmogorov heuristic  
+7. Per-role reasoning effort (from open #17)  
+8. Gate checkpoints + skill validation (from open #14)  
+
+**Should**  
+- DRY prompt includes  
+- Local project mode + build-SHA stale replace  
+- Hermes already merged  
+
+**Must not**  
+- Multi-section NARS walls  
+- Contract reifier / JSON contract bloat  
+- Badge / marketing  
+- Duplicate upstream code  
+
+## Mailbox investigation (cheap + robust)
+
+- Location: `<git-root>/.zenith/mailbox/` (symlink-safe via `find_git_root`)  
+- Format: JSONL envelopes `{unix_ts, from_party, to_party, kind, nars[], body≤200}`  
+- NARS-anchored (required non-empty nars list = scope discipline)  
+- Mission mailbox + legacy per-session jules/*.jsonl + sessions.json index  
+- Security: slug sanitization, path traversal reject  
+- Tests: symlink survival, append + session index update  
+- TODO still open: harvest facts from transcripts into downstream prompts  
+- Verdict: cheap (append-only JSONL), robust (git-root, atomic index, filters), perfect for agent handoff without long conversations  
+
+## Playbook for the solid PR
+1. Branch from upstream main (or rebased jnorthrup tip).  
+2. Cherry-pick / port only the Must list.  
+3. Enforce NARS_10LINE_STRICT_CONTRACT on every head.  
+4. Wire mailbox into orchestrator/worker handoffs (complete the TODOs).  
+5. Full pytest + Jules e2e green.  
+6. Single clean PR to Intelligent-Internet/zenith titled for the compromise.  
+
+**Memory**: `zenith-solid-pr-v1` | `zenith-mailbox-v1` | `zenith-anti-slop-v1`