diff --git a/NARS_DRY_INTEGRATE_SUMMARY.md b/NARS_DRY_INTEGRATE_SUMMARY.md new file mode 100644 index 0000000..aad6e34 --- /dev/null +++ b/NARS_DRY_INTEGRATE_SUMMARY.md @@ -0,0 +1,14 @@ +# NARS DRY Integrate — head -n10 + +```narsese + ~0.9/wk_early | use_driven_high_value>. (0.94, 0.90) + {#13_stderr, #16_empty_contract}>. (0.98, 0.95) + {#4_hermes, #5_agentic, #15_polish, #17_effort, #14_gates}>. (0.93, 0.88) + NARS_strict+Jules+attempts+DRY+e2e>. (1.0, 0.97) + dry_original + alternate_PREs + issues_steer>. (1.0, 0.96) + LLM_deforms_10line | reject>. (0.96, 0.93) + 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 index 40f016b..d798292 100644 --- 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 continuous_improvement_harness>. (1.0, 0.95) - reads_task_state_each_turn ==> decides{spawn_worker | spawn_tester | register_skill | replan | stop}>. (0.98, 0.92) - zenith:tester>. (0.85, 0.80) + decides{spawn_worker|spawn_tester|register_skill|replan|stop}>. (0.98, 0.92) MCP/ACP_adapter>. (1.0, 0.97) - bundled{orchestrator, worker, validator, contract-review}>. (0.95, 0.90) - from_RALPH_to_Zenith_2026>. (1.0, 0.99) prevents_premature_completion>. (0.92, 0.88) - frontier_SWE_rank_#1 (GPT-5.5)>. (0.90, 0.85) - best_mean_rank_1.38 @ . (0.93, 0.87) + frontier_SWE_#1 @ half_RALPH_cost>. (0.93, 0.87) + 1-10_lines max | no_prose | no_sections>. (1.0, 0.99) +page ==> compress_to_narsese + memory:"label-v1">. (0.91, 0.86) + 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 - performed_on{README, prompts/orchestrator/system_prompt.md, agents/contract-review.md, skills/*-playbook, technical_report}>. (1.0, 0.94) - >1_page_wall_of_text>. (0.87, 0.82) -==> memory:"zenith-nars-index-v1" quoted{orchestrator_decides, RALPH_baseline, adaptive_allocation}>. - if kolmogorov>threshold then compress_to_narsese(summary, install_to_memory("past|current|future_mission_data"))>. (0.91, 0.86) - "zenith-topology-v1" @ jnorthrup_SHA2>. -NAL_spot_test_recorded: 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 - "First read .claude/orchestrator_prompt.md ... use Zenith to run this mission">. (f=0.96, c=0.91) [memory:"zenith-orchestrator-v1"] - agents review obligations, gap-finding, verification>. (0.89, 0.84) [memory:"zenith-contracts-v1"] - engineering-mission-playbook + optimization-mission-playbook + scrutiny-validator>. (0.94, 0.88) [memory:"zenith-skills-v1"] - acp_runner + coordinator + storage + task_validation>. (0.97, 0.93) [memory:"zenith-harness-core-v1"] - 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 - improves_long_running_tasks>. (1.0, 0.95) [deduction passed] - zenith>. (0.65, 0.78) [comparison: zenith wins mean rank + cost] - adaptive_allocation>. (0.92, 0.87) [abduction on benchmark data] - 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. + diff --git a/docs/MISSION_DRY_INTEGRATE_JN_BENEFITS.md b/docs/MISSION_DRY_INTEGRATE_JN_BENEFITS.md new file mode 100644 index 0000000..da30104 --- /dev/null +++ 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 + continuous_improvement_harness>. (1.0, 0.96) + {NARS_strict, Jules_ACP, attempts+fingerprints, DRY_prompts, priority_respawn, e2e}>. (0.97, 0.93) + {#17_effort, #14_gates, #13_stderr, #16_empty, #4_hermes}>. (0.95, 0.90) + {#20_obs, #8_win11, #12_resume, #7_bench, #11_hooks}>. (0.92, 0.87) + LLM_expands_10line | reject | restore_fence>. (0.96, 0.93) +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 new file mode 100644 index 0000000..17b6948 --- /dev/null +++ b/docs/NARS_10LINE_STRICT_CONTRACT.md @@ -0,0 +1,14 @@ +# STRICT 10-LINE NARS CONTRACT (anti-slop) + +```narsese + ≤10_lines inside single fence>. (1.0, 0.99) +. (1.0, 0.98) + head-n10 scannable + token_density + (f,c) + NAL>. (0.97, 0.94) + expands_deforms | injury | reject>. (0.96, 0.93) + source_of_slop | guard_with_this_contract>. (0.95, 0.91) +page ==> apply this format only>. (0.91, 0.86) + must_preserve_≤10_line_fence>. (1.0, 0.97) +NAL_spot: violate → fail contract. (0.90, 0.85) +``` + + diff --git a/docs/SOLID_SINGLE_PR_COMPROMISE.md b/docs/SOLID_SINGLE_PR_COMPROMISE.md new file mode 100644 index 0000000..ecd1173 --- /dev/null +++ b/docs/SOLID_SINGLE_PR_COMPROMISE.md @@ -0,0 +1,56 @@ +# Solid Single PR Compromise (max beneficial) + +## NARS Head (strict ≤10) + +```narsese + max_value_upstream + jnorthrup + mailbox>. (1.0, 0.96) + {#13_stderr, #16_empty_contract, #4_hermes, #17_effort, #14_gates}>. (0.97, 0.93) + {Jules_ACP, mailbox, attempts+fingerprints, NARS_strict_10line, priority_respawn, DRY_prompts}>. (0.96, 0.92) + {badge, reifier_bloat, multi-section_NARS, non_DRY_duplicates}>. (0.95, 0.91) + 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: `/.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`