Repository navigation
Fold hourly 1047 HIGH + queued SIGNALs + deferred 0945 into Augustus - #3
Conversation
Docs-only off main (PR #2 merged). Mental models / architecture / Harbor-jevals for 13 Boise 1047 signals plus Laya vision, Cerebellum-2B, and laya-grounded. Formal methods compose with scoring; Noul is SENSOR; hard-gating test/PR/HA write is soundness theater. Skip Archer. Quote theirs; no wrappers or invented metrics. Co-authored-by: Basit Mustafa <24601@users.noreply.github.com>
Cerebellum in applied-mappings §5; hourly FM envelopes out of the fill-in template; compaction species locks pi-jev-compact and fast-jev-compaction-pi; VOI/Leveson/search cards now match SKILL.md. Co-authored-by: Basit Mustafa <24601@users.noreply.github.com>
Docs-only on PR #3. Jeff-1 LoRA replica vs logan-markewich/jeff, stanley empty≠approve, findme beam ≠ JevFind, jevsubrouter prices workers. Soft Noul ≠ hard safety. Quote theirs; no wrappers. Co-authored-by: Basit Mustafa <24601@users.noreply.github.com>
…verbatim quote. Retarget Jeff-1 unique fragment into the when-to-use table; land stanley-code notChecked in the formal-methods envelope; cite item 30 for findme ≠ JevFind; quote jevsubrouter README verbatim. Co-authored-by: Basit Mustafa <24601@users.noreply.github.com>
Adversarial review — PASS (nits only; not merge-blockers)Read-only pass on Checklist
Harbor honesty held: Jeff-1 reused set; stanley empty ≠ approve; findme ranking ≠ identity; jevsubrouter counts ≠ dollars; Soft Noul ≠ hard safety. Nits (do not block merge)
Parent can merge. No further commits from this pass. |
* Fold hourly 1241 HIGH into Augustus mental models and jevals. Fresh PR off main for the 2026-09-19 ~12:41 Boise watch. Do not reopen merged #3/#4/#5. Cards stay backend-agnostic (observe→score→act, ranking ≠ calibration, native vs schema-guided Harbor, collapse late, unofficial toolbelt, life fail-open covers). Soft Noul ≠ hard safety. Co-authored-by: Basit Mustafa <24601@users.noreply.github.com> * Land 1241 composition-algebra unique fragment in the named Detail file. Adversarial pass: SKILL.md mapping-index cell for composition-algebra must appear identically in composition-algebra.md (items 49–61). Co-authored-by: Basit Mustafa <24601@users.noreply.github.com> * Fix 1241 fold: jsort Fed figures, implicit_true, ego-jev lock. jsort README is ρ +0.47 (91) / +0.38 (87), not +0.46 (95) / +0.37. implicit_true is included in the yes class, not an unsupported adapter. Keep ZHUBoer/ego-jev off the jiangkoumo hot-click and closed-vote rows. Count is 15 HIGH plus the five-app product cluster. Co-authored-by: Basit Mustafa <24601@users.noreply.github.com> --------- Co-authored-by: Cursor Agent <cursoragent@cursor.com> Co-authored-by: Basit Mustafa <24601@users.noreply.github.com>
* Fold hourly 1441 HIGH into Augustus mental models and jevals Docs-only placement of 28 HIGH receipts into how-to-apply, Harbor-jevals, and mixed architecture. Skip Archer. rh-guard owns gate cousins; Augustus owns placement. Never reopen #3–#8. Co-authored-by: Basit Mustafa <24601@users.noreply.github.com> * Lock 1441 namesakes and unstuff CU from closed-vote pointers savka777/jev-search ≠ kazuhideoki/jev-search ≠ superagents-lab/jev-search. Hub jev-0.5b sha 1044b44b ≠ Hub rev-0.5b. droidjev/jevcu stay observe→score→act cousins, not closed-vote. safe-sh HIGH delta §92; HA leftover cards on mappings §8. Co-authored-by: Basit Mustafa <24601@users.noreply.github.com> --------- Co-authored-by: Cursor Agent <cursoragent@cursor.com> Co-authored-by: Basit Mustafa <24601@users.noreply.github.com>
Folds in the plan-v3 errata (D-a..D-e), every open finding from the Fable 5.1 xhigh and Astra max v3 reviews, the M0 tabputer-1 receipt deviations, and the decision-changing items from the two trainer sweeps and the PAW/RAP, CLM and Jev-Omni cards. Main changes: - Empirical Bernstein intervals for bounded losses carry the family error claim; normal-theory intervals become descriptive only (Astra v3 #2). - Acquisition custody: quarantine, augctl-owned splitting, label-free confirmation inputs, and B16 as an adversary test (Astra v3 #1). - Three named download windows, with the design lock before any experiment data (Fable v3 P1-1, Astra v3 #3). - The ladder becomes artifact forms: exact program, synthesized program, compiled function (PAW), model rungs, generalist, under one gate. - RAP as required prior art: exogenous rule checks are detection, not gating. - The measured host profile: uids 48201/48202, --memory-swap=16g, systemd-run --user, explicit GPU budgets, a real MemAvailable watchdog, and vLLM batch nondeterminism handling. All numbers are recomputed by research/080/calc/calc_v4.py. Amp-Thread-ID: https://ampcode.com/threads/T-01a0d176-6c28-75e9-a727-f948d3747917 Co-authored-by: Basit Mustafa <basit.mustafa@gmail.com>
Docs-only fold of hourly System One / categorization watch into Augustus how-to-apply, mental models, mixed architecture, and Harbor/jevals practice. Not a hit list. Not a stub.
Archer Hume 27B drop is still WATCH. Omni perception→decision does not wait for it.
Non-negotiable: exact work stays in code or policy; the model owns narrow judgment; never launder a soft Noul as a proof. Formal methods compose with categorization/scoring; a Noul is a SENSOR. Hard-gating test/PR/HA write/authorship on a Noul is soundness theater. Soft Noul ≠ hard safety. No wrapper, no SDK/plugin how-to, no copied ports/key-file paths. No invented metrics. TypeSafe Jev is the exemplar, not the monopoly. Causes below are hunches, not promoted Contract.
Lane is Augustus only (mental models / architecture / Harbor). 0★ HIGHs still get real cards because they were named HIGH.
This update — 17:25 UTC / ~11:25 Boise 2026-09-19 (
research/notes.md§88)Queued user SIGNALs plus the remaining deferred 0945 HIGH. laya-vision and Cerebellum stay §87 — not re-carded. Four how-to-apply clusters:
A. Open LoRA replica vs encoder namesake
GestaltLabs/Jeff-1 (Hub Apache-2.0; 4 likes) + Gestalt-Lab/jeff (Apache-2.0; 0★; README SHA
bbf66409) — Qwen3-4B LoRA on Qwen3-4B-Instruct-2507; Choice / Noul / Score; optionalPOST /v1/systemone. README theirs: “API compatibility does not imply identical judgments or performance.” Confidence = max label p.Fact-check bake-off theirs on the same 9,730 FEVER / VitaminC / SciFact / Climate-FEVER items vs live Jev 1.13.0 (max-class-p; Jev's separate API
confidencenot used): Jeff acc 0.8183 ECE 0.0807 vs Jev 0.8283 / 0.0932. Acc/Brier lose; ECE wins. Set reused for error analysis — not an untouched holdout. Weak onnot_enough_info. Lower ECE ≠ individual correct.≠ logan-markewich/jeff GLiFormer encoder. Hub GestaltLabs ≠ GitHub Gestalt-Lab ≠ logan-markewich.
B. Jev-first bounded agent
59da9a1f) — NL request → one bounded workflow; deterministic gather + fixed-choice Jev; code owns decisions. README theirs: empty findings is not an approval; readnotChecked; there is nopass/approved. Router 0.6/0.55/0.15 still soft. Human--promote-candidateonly. Pi fallback unverified.jev-code0.0.1 does nothing; 0.1.0 not on npm.C. NL memory → beam-search FS
f2a2ca71) — tagline theirs: “jev + fs = findme.” Beam over listed names+metadata; parent fallback ≤4; gitignore / symlink skip in code. Life/knowledge retrieval, not only SWE. ≠ Peu77/JevFind path-then-window. Ranking ≠ identity.D. Price workers, not the conversation (remaining deferred 0945 HIGH)
317996d0) — sub-agent dispatch binding vs turn-level advice. README theirs: “the conversation you are actually having never changes model — so its prompt cache is never invalidated.” Fail-open. Low conf → balanced, never silent down. Stats are counts, not dollars — worker tokens are invisible from a hook. ≠ jev-gateway ≠ slo-router.Deferred 0945 already in §87 (pointer only)
scoreuntrained; ≠ blackwood ≠ Archer/v1/decide≠ TypeSafe; wire-compat vs agent-routing as separate Harbor axes; competing NAR not endorsementName locks / anti-patterns this hour
uv/ PEFT / port 8079 /npm ci/cargo install/ marketplace /TYPESAFE_API_KEY/JEVSUB_API_KEYReviewer entry points (§88)
research/notes.md§88 — full receipts (hunches labeled); quote README/Hubreferences/mental-models.md— Apply queued 1047 follow-ons four clustersreferences/mixed-architecture.md— fail table + gallery rowsreferences/faq.md— four new Qsreferences/judgment-class.md— Jeff-1 after logan-markewich/jeff; when-to-use table namesake lockreferences/validation.md— n=9730 / stanley coverage / jevsubrouter countsreferences/formal-methods.md— follow-on envelopes outside the fill-in template (stanley-code \notChecked``)SKILL.mdYAML triggers + protocol + mapping-index unique fragmentsPrior fold — 16:52 UTC / ~10:47 Boise (
research/notes.md§87)Thirteen 1047 HIGH signals plus three deferred 0945 class notes (decision-validated UI; decision-as-assert; hybrid S1; pointer search; Harbor trio; authorship; non-SWE HA/n8n; compaction-pi namesake lock; jevloop; laya-vision / Cerebellum / laya-grounded). See earlier commits on this branch.
Sections changed (cumulative)
SKILL.md;mixed-architecture.md;faq.md;mental-models.md;judgment-class.md;applied-mappings.md;mappings.md;validation.md;composition-algebra.mditems 27–40;question-design.md;methods-catalog.md;toolbox-mapping.md;formal-methods.md;agent-self-assessment.md;optimizer-integration.mdnotes.md§87–§88;sources.json(490 sources, 487 unique URLs, retrieved 2026-09-19T17:25Z);refresh-log.md;archive/findings.mdbatches Fold hourly 1019 HIGH: GEPA ADE + novel cards + REVISIT densify #70–Release v0.5.1 #71CHANGELOG.md;README.md;docs/ecosystem.mdevaluate_decisions.pyVerification (HEAD
3f4ae90)evaluate_decisions.py --self-test→self-test oksources.jsonparses (490 / 487 unique; three pre-existing duplicate URLs left untouched)git diff --checkcleanAdversarial review
Pass 1 (
94bd5bd): 0 Critical, 6 Important — mapping-index Detail files did not contain cards SKILL.md claimed.Pass 2 (
db5b794): those six closed; no new Critical/Important.Pass 3 (
23432f0): §88 fold; 0 Critical, 4 Important — open-weights fragment not in when-to-use table;stanley-code \notChecked`` missing from formal-methods; findme cited item 27 instead of JevFind item 30; jevsubrouter README quote was not verbatim.Pass 4 (
3f4ae90): those four closed; no new Critical/Important; no merge-blocker.Harbor honesty held: Jeff-1 acc/Brier lose ECE wins on a reused set; stanley empty ≠ approve; findme ranking ≠ identity; jevsubrouter counts ≠ dollars; Soft Noul ≠ hard safety.