From 149823c95ebb1ea7e46a9b76b20dc548ea1dfcba Mon Sep 17 00:00:00 2001 From: Cursor Agent Date: Sun, 20 Sep 2026 16:46:19 +0000 Subject: [PATCH 1/2] Release v0.5.0: class recipes, scannable notes, version pin Bump marketplace and SKILL YAML to 0.5.0. Fold post-0.4.0 work into a Keep-a-Changelog cut with class-wide recipes (encoder, open heads, NanoJev, llm-to-jev, jcr, localjev). Pages and README point at the with/without diagram. Hourly uniqueness stays in changelog-hourly.md. Co-authored-by: Basit Mustafa <24601@users.noreply.github.com> --- .agents/skills/augustus/SKILL.md | 2 +- .claude-plugin/marketplace.json | 2 +- CHANGELOG.md | 132 ++++++++++++++++-------------- CITATION.cff | 2 +- CONTRIBUTING.md | 2 +- README.md | 19 ++++- SECURITY.md | 6 +- docs/_includes/comparison.html | 14 +++- docs/_includes/recipes.html | 104 ++++++++++++++++++++++++ docs/_layouts/default.html | 2 +- docs/assets/css/site.css | 63 ++++++++++++++- docs/index.md | 6 +- docs/release-notes-v0.5.0.md | 134 +++++++++++++++++++++++++++++++ research/README.md | 4 +- research/changelog-hourly.md | 14 ++-- 15 files changed, 419 insertions(+), 87 deletions(-) create mode 100644 docs/_includes/recipes.html create mode 100644 docs/release-notes-v0.5.0.md diff --git a/.agents/skills/augustus/SKILL.md b/.agents/skills/augustus/SKILL.md index 06aff66..1a0c028 100644 --- a/.agents/skills/augustus/SKILL.md +++ b/.agents/skills/augustus/SKILL.md @@ -3,7 +3,7 @@ name: augustus description: "Use when placing typed probabilistic judgment (Jev-class System One / decision models) with mathematical, logical, or algorithmic mental models — in AI, software, business, knowledge work, or life, not only SWE; deciding where a fast cheap categorization/classification/scoring model belongs versus generation, exact policy/code, or proof; applying expected utility, selective classification/abstention, calibration, cost-sensitive thresholds, value of information, MCDA, signal detection, search/control substitutions, or Leveson-style org/safety; using NATM/snap-fit/Norman as design intuition; designing mixed architecture (decision model + LLM writing); auditing an existing system, PR, workflow, or non-software practice for judgment-shaped holes and code smells; debugging a question that hovers near 0.5, clusters mid-scale, or hides two judgments; placing agent self-supervision gates (pre-action, output judge, done-check, stuck-detector, context sieve); coupling a typed judge as an optimizer metric (Ax, DSPy); choosing among TypeSafe Jev, open heads (Laya, kev, openjev-lm, Nimble, encoder DeBERTa, LoRA distill, open multimodal RLCD / blackwood), announced open decision-model (Watch — still not landed), constrained-AR (TypeAR, pcdServer, decision-token LoRA), diffusion structured reads, GLiNER/GLiClass/GLiGuard encoder family (locate vs categorize vs safety-schema classify vs local multi-head), listwise rankers, or vision scorers; placing judgment beside TLA+/Alloy/Apalache/Dafny/DST (Antithesis, Resonate, PufferLib) without laundering a Noul as a proof; answering \"it's just classification\", \"is Jev probabilistic programming\" (marginals vs joint, not a PPL), \"low/medium/high entropy\" (allocator, not a meter), \"perception specialist then judgment vs shared multimodal System One\", \"wait for Archer vs open multimodal RLCD\", \"screenshot/DOM candidates → typed Choice\", \"eval path\", \"jevals\", \"Harbor taskset\", \"shared bake-off ECE/NLL/Brier\", \"LLM-as-judge is not the System One score\", \"pipeline / measure / hill-climb perception into a decision\", \"Ax vs DSPy\", \"held-out\", \"correctness is not confidence\", \"is this only for software?\", Alloy vs Apalache, GLiNER vs Jev, \"is GLiGuard Jev?\", LLM-as-judge, paraphrase brittleness, allowlist then judge (allowlist *proves*; fail-open cannot block), \"missing other → confident wrong Choice\", \"lint the Jev request\", \"training confronts Choice other / none-of-the-above\", \"S1 reflex keeps control / optional S2 one-use advice\", \"soft AGENTS.md rules vs linter\" (Abide / jev-pref), \"edit-phase vs turn-phase observation window\", banded confidence fail-open preference lint, \"extractive selection / pointer-not-generator\", \"encoder GLiNER compaction vs Jev Score compaction (same job; pointer not summarizer)\", \"fail-closed keep_full under mutation envelope\", \"CI flaky-vs-real merge gate\", \"fail-open VOI wake/resume (Horvitz)\", \"claim/evidence Stop integrity\", \"S1 extract + escalate-S2 indexer\", \"Harbor on/off routing\", \"policy-as-judgment PR marshal\", \"shadow-mode compaction rollout\", \"Jev Ultrafast vs GLiNER Ultrafast (observe-score-act backend-agnostic)\", \"hybrid local decide + remote fill\", \"DONE ≠ verified success\", \"observed a11y/DOM candidates vs screenshot multimodal\", \"evidence-preserving stdout prune (not summarize)\", \"hard token/format envelope then soft Noul\", \"fail-safe keep original on prune failure\", \"stdout prune vs session compaction\", \"specialist S1 computer-use (Cua-S1 form-v0; not TypeSafe Jev)\", \"plan ≠ execute / dry-run default\", \"observed-element option head (fill/check/click/skip)\", \"local /v1/systemone drop-in (stub until hf scorer)\", \"dataframe-native semantic columns\", \"route≠memory\", \"advisory sidecar receipts\", \"structure induction over bags\", \"AST ∩ semantic lint\", \"extractable-from-state / retrieve first\", \"decision-model vs constrained-LLM bake-off\", \"dual-process S1 decide / S2 generate\", \"combinatorial grid ≠ extractive\", TOCTOU-of-Noul, vacuous specs, open weights vs constrained decoding vs encoder vs LoRA vs kev, whether a decision needs a model at all (meta-VOI), env-break vs policy-break, sqlite-jev / in-engine vs CLI store index, hard safety envelope (Jev proposes, code clamps), host-adapter routing (not MCP), distill-to-device memory gate, \"uncalibrated local likelihoods vs Noul / CUDA replica\", \"decision-native RAG retrieve wide then decide then evidence set\", \"classify-first MCP / read selectively\", \"living applied-mappings atlas / class patterns not a 342 hit list\", \"draft-gate silence as safer / heartbeat\", \"robotics text-state vs pixels\", \"verbatim session ledger / scored recall\", \"judgment as language primitive / English-as-config\", \"pre-registered AMBIGUOUS eval / cascade sign-flip\", \"healthcare Harbor-shaped S1+S2\", \"pre-exec tool gate allow/block/review\", \"productized public primitive / judgment wall\", \"meaning-search without embeddings\", \"attention≠correctness PR review\", \"skills→oxlint / AST prove ∩ remainder\", \"session-sticky first-prompt routing\", \"measured RAG rerank vs generative rerank\", \"Stagehand extract pick-and-copy / judge\", \"harness observe-score-act productization\", or \"formally verify with Jev\", \"capability kernel / secrets never in the agent\", \"Jev is SENSOR not policy\", \"type-safe ≠ correct\", \"typed control plane around DSPy\", \"native-probability calibration / Brier/ECE arena\", \"fan-out as measurement economics\", \"engine owns truth / Jev owns judgment\", \"human-confirmed kill gate\", \"train specialist when downstream reads p vs few-shot hosted when only argmax\", \"decide→policy→LLM leftover cascade\", \"Noul 0.5 cannot-tell never rounded\", \"calibration ≠ sortable / ORDER BY over Jev probs\", \"pairwise inversion / Score ordinality / two-decimal ties\", \"wire-compat self-hosted /v1/systemone GLiFormer\", \"class-backend economics\", \"loopback gateway hosted + local OpenJev\", \"do not distill Jev as teacher of record\", \"active-learning triage / training-data VOI\", \"index-once ask-many / citable evidence packets\", \"meaning-grep AND/OR/NOT line Nouls\", \"closed-vote-only computer-use / no planner LLM\", \"Jev vs local MLX PCD Harbor\", \"PCD O(1) speed ≠ calibrated Noul\", \"host-owned handlers × System One\", \"OMP/pi fail-open acceptance gate\", \"permission vs probability / operator owns the safety bar\", \"judgment ≠ permission / Jev never grants access\", \"eval integrity / instrument not score / dinostomp jev-as-if\", \"constrained optimizer + S1 features / never sole hot-path gate\", \"privilege ≠ verdict / effect contracts not tokens\", \"attention filter / VOI for human review / never blocks / never green unless sure\", \"measurement owns endorsement / evidence-gated question packs\", \"Jev supplies evidence / code owns authority\", \"ranking ≠ calibration / never hard-threshold raw p as frequency\", \"hot-click CU / indexed element table / S1 on click path\", \"Jev judges relevance / code decides structure / never rewrite\", \"local rules first then remainder / never auto-train on model's own hides\", \"combinators / System One as control plane / not chat turns\", \"receipts not leaderboard / type-safe ≠ correct jaggedness\", \"VOI over skill library / skillranker abstention\", \"OOD calibration / AUC ≠ ECE / sign of miscalibration by type\", \"Jev vs thinking-budget small models / frontier-100\", \"turnstile / replayable evidence≠authority\", \"MLX one-pass schema→JSON / Apple Silicon replica economics\", \"memory leases ended by new evidence\", \"never confidently wrong / TLA+ compose with judgment / escalate instead of hard-gate\", \"no seal no advance / coverage ledger / mint ≠ product brain\", \"skill-broker sibling turnstile/skillranker / judgment ≠ permission\", \"sureness / CERTAIN|CONFIDENT|LEANING|TORN|CLUELESS / max_prob is generous\", \"JevBench Harbor/jevals practice / calibration not in Main Score\", \"CI typed gate before expensive review / ci-gatekeeper\", \"Codex MCP host adapter / jev_select_capability\", \"judgment as attention redirect not merge blocker / jev-preflight\", \"compress-before-first-send / dizk jev-lens vs rashed attention filter\", \"tools≠use / SessionStart over hoping the model recalls\", \"observational memory / keep-kind verbatim / pi-om\", \"open-Jev class / openvons / JevPick menu decode\", \"physical-world System One / HA-Jev / not for locks\", \"judgment outside the store / jevql CLI\", \"landed-script trust / headless≠auto-approve\", \"digital-design combinators / extended Router Loop Retry Fallback Memory\", \"VOI cache admission / same-intent skip LLM\", \"BM25 vs Jev skill routing Harbor harness\", \"zeroshot vs BERT / contamination DiD / label-equivalence\", \"typed escalate continue abort baton / inverted loop\", \"worth-your-attention VOI / ThinkyMiner Winnow vs kevinpita winnow\", \"Jev WHETHER Python HOW LLM WHAT\", \"conflict vs ignorance / named Choice escape\", \"Playwright executes Jev chooses / sample-from-distribution\", \"OpenJev /v1/decide not TypeSafe drop-in\", \"SemIf wire-compat runoff\", \"decision-as-memory flywheel\", \"record/replay CI / jevassert\", \"failure-finding arena / jevarena ≠ jev-arena\", \"BBQ stereotype/uncertainty/cost\", \"decider≠executor / jeffrey\", \"sentence-as-rule lint / jevlint ≠ JevLint\", \"VOI hunk prune / prune-review\", \"whole-repo intent VERIFIED/VIOLATION/UNKNOWN\", \"GLiNER2 System One spec ≠ replica\", \"Rust/WebGPU grande / Clojure Laya byte parity / CPU SemIf\", \"ONNX ModernBERT local-jev measured not equivalent\", \"persist constraints across compaction / pi-heed\", \"calibration+cost as first-class gates\", \"Harbor-shaped Jev vs schema-guided LLM-as-judge / jev-judge-bench ≠ jevarena ≠ jevbench\", \"hand no-text steps to Jev / jev-use / Vercel drops confidence / margin fallback\", \"Pi System-One control plane / pi-jev-control\", \"generation as tree of Choices / never free-generates / jev-gpt\", \"OpenRouter recipe atlas / samples not benches / jev-cookbook\", \"personal history feed / no social graph / jevfeed\", \"competing NAR claims / dual-channel ECE / claim-verification / openJev-verdict ≠ OpenJev\", \"empty compaction-proxy skip / IPECTER\", \"throughput ≠ latency / like-for-like ECE\", \"1-token logprob endpoint ≠ Noul / coverage ≠ correctness / chakuho\", \"open replica engine / jevinf / argmax-parity ≠ ECE\", \"unofficial Elixir SDK ≠ OTP peer / dannote/jev\", \"jevex rename + n=16 SWE VOI / files-to-read\", \"commit pre-review attention≠verdict / middle band never rounded / commitjev\", \"Hermes plugin is Agnes not TypeSafe\", \"pi-jev-compact ≠ pi-jev-compaction / verbatim summarizer replacement\", \"empty Codex-proxy skip / IPECTER runway\", \"decision-native inbox / mailordinal / humans own ambiguity\", \"unofficial jev-cli not ready / ≠ jevql\", \"laya-multilingual / English checkpoint confident-wrong OOD / ships uncalibrated\", \"schema-conditioned DeBERTa scorer / peaked ranking ≠ calibration\", \"HF 401 access / GitHub 404 Hub-only\", \"productized System One HTTP / classifier.dev / label+confidence public contract\", \"escalate-under-threshold / smart tier 0.7 / multi-label ignores tier\", \"silent-fallback FALLBACK marker / granite 0.546 vs advertised 0.800\", \"vs_jev tracked JSON not transcription / read eval/README before quoting\", \"choxos/jev-reviewer ≠ egma-ai / systematic-review pointer-not-generator\", \"two-pass Choice+Noul / relative which-line + absolute does-this-line\", \"not-found is an answer / no paraphrase invent\", \"human check as productized judgment / checked never overwritten\", \"githubnext/localjev ≠ kunchenguid/local-jev / prompted JSON ≠ structured logit read\", \"wire-compat ≠ logit-equiv / self-reported probs / entropy confidence\", \"institutional open-replica / GitHub Next /v1/systemone\", \"Harbor-shaped bake-off AG News BoolQ SST-5 / 1200-request caveats\", \"LM Studio runner gap / structured-read primitives for OpenJev parity\", \"NandhaKishorM/laya packaging ≠ Hub-only / Router script-before-p\", \"post-T ECE ≠ raw ECE / Banking77 token-budget / 0.85 still soft / not TypeSafe drop-in / external census ≠ scored bake-off / GLiNER2+routers class-boundary / incomplete vs watch / Harbor honesty watch / JevBench v1.2 geometric-mean I/C/S/K / cal now ON rank / weight sensitivity / option-order 72→21 / instruction models class-boundary / ×2 latency assumption / est. costs / Laya absent gap / Qwen3.8 27B ≠ Archer\", \"hourly already-folded watch / apply-the-five / skip thin noise\", \"hard-gate Noul as PR gate is soundness theater / totally-tim/jev-gate ≠ jev-gateway\", \"S1 never stalls waiting / S2 one-use advisory\", \"purple telemetry = consumed not arrived\", \"Local controller ≠ githubnext/localjev\", \"seed = geometry not async replay\", \"20% starting gate still soft / schema-safe ≠ correct\", \"no pixels to either provider / confidence ≠ selected probability\", \"experimental viz not a flight controller / S2 never grants\", \"OCR+AX observe-score-act / typesafe-computer-use\", \"never send screenshot to frontier for the decision\", \"overlapping CU options = false low confidence\", \"split kind/item/site / offscreen\", \"writer/decider split + post-type Noul still soft\", \"155× one-screenshot Harbor-shaped ≠ taskset\", \"AX never sole / Spotify 0\", \"decision ≠ answer-reader capture\", \"typesafe-computer-use ≠ jev-ultrafast ≠ cua-s1 ≠ camoufox\", \"ASR observe-score-act / jev-voice-browser\", \"partial-speech VOI / complete Noul / free-text waits\", \"spoken confirm ≠ hard auth\", \"numbered overlay disambiguate without another model\", \"moritzkremb/jev-voice-browser ≠ jev-voice-control ≠ nikolas-j\", \"wrap-as-execution / AgentGhost ALLOW ASK DENY\", \"rules first then Jev remainder / ASK throws / fail-closed\", \"reddpy/AgentGhost ≠ jwen5419807/agentghost ≠ vventirozos\", \"JP genre atlas / studio_yebisu / stars ephemeral ≠ eval\", \"Jev Clearly Explained / akshay_pachaar / LLM hammer\", \"schema-safe ≠ correct / 200× 400× TypeSafe ceiling\", \"questions-as-code / shadow first / not a TypeSafe how-to\", \"proposition ≠ embedding / contrast-set refund\", \"boolean composition of soft Nouls / AND OR NOT after threshold\", \"uehaj/jev-semgrep ≠ semgrep.dev\", \"meaning-grep dedicated fold / not a gate\", \"decision-validated UI / Jev never authors text / gram-render\", \"decision-as-assert / jevtest ambiguous band\", \"typed decisions drive UI / jev2ui\", \"hybrid S1 closed verb menu / anima3 / jeff confidently flat\", \"pointer-not-generator search / JevFind\", \"jev-frontier-bench ≠ frontier-100 / ChaosNLI JS\", \"product bakeoff ≠ architecture duel / jev-gliclass-bench\", \"four engines same questions / majority floor / calibration ≠ discrimination\", \"authorship named escape / not courtroom evidence\", \"ha-switchboard HA remains execution / ≠ HA-Jev\", \"n8n classify/route/score / Low Confidence abstention\", \"fast-jev-compaction-pi ≠ pi-jev-compact ≠ pi-jev-compaction\", \"jevloop full-distribution optimizer / no LLM in the loop\", \"laya-vision SmolVLM / score untrained / ≠ blackwood ≠ Archer\", \"Cerebellum-2B /v1/decide ≠ TypeSafe / wire-compat vs agent-routing\", \"laya-grounded not drop-in / phishing regress / Platt not temperature\", \"GestaltLabs/Jeff-1 ≠ logan-markewich/jeff / acc vs ECE n=9730\", \"stanley-code empty findings ≠ approval / human promote\", \"findme ≠ JevFind / NL memory beam-search FS\", \"jevsubrouter price workers not conversation / counts ≠ dollars\", \"feelings .feels() default 0.5 is Noul-0.5-never-rounded / ≠ hunch ≠ Probably\", \"apa-agent-harness ≠ AntonioCoppe/jev-harness / unpublished npm\", \"grok-bot-jev skill cannot force a bot that ignores it / A/B proxies not tokens\", \"Essentiel-Jev never authority / human every action\", \"enzo-mcp independently falsifiable claims / ≠ jev-sift\", \"pigeonhole OTHER skip / decision-as-filing\", \"jev-reliability Nothing about accuracy\", \"clduab11/jev-test ≠ realZachi/jevtest / Nothing runs yet\", \"jev-rag-benchmark Jev wins is not an assumption\", \"dairui1/jev-lab ≠ BrendanH18/jev-lab\", \"jevmail gmail.readonly / mailjay archive/trash\", \"ZHUBoer/ego-jev reserved __none__\", \"runWorkflow completed ≠ success\", \"jsort scores are relative\", \"Noul not Choice for scale\", \"groundedness-judge-bench native vs schema-guided\", \"implicit_true included in yes\", \"jev_playground 0 promotions\", \"routing-backtest 0.0447%\", \"yuyang2230/jev-agent-skill jev-1.13-free\", \"jev-techstack-classifier stack_config.json\", \"s1_ruby collapse late\", \"undecided? abstain\", \"2389-research/judgement license null\", \"confidence ≠ winner p\", \"typesafeai-sdk-community not a new species\", \"tpellet/hunch exit 3\", \"never-execute list\", \"jev-file-search scores not calibrated accuracy\", \"jev-linkmap Jev never sees S2 prose\", \"muhammedilyasy/jev-mail metadata only\", \"tidy none-of-folders stay\", \"tab-bouncer pinned/audio/current never closed\", \"lkclean Show fail-open\", \"jev-yt-time-saver Show anyway\", \"ORIGIN pause-if-no-Jev\", \"validResponse sums-to-1\", \"jev-crawlers risk bands never raw boolean\", \"jevbrain AUTO_ACT is not a Noul\", \"judgekit YAML classify/score/route/verify\", \"typed-judge-kit verdict-in-code\", \"alsoleg89/decide packing VOI\", \"0.8 ≠ 80% accuracy\", \"Jev-Calibration Platt ECE 0.117→0.052\", \"jev-calibration-arena never acts\", \"ctmx/openrouter-jev-mcp Decision-as-Plugin\", \"FrancoisChastel/jev-code ≠ npm jev-code\", \"claudecode-jev-marketplace fail-open not hot path\", \"pedroknigge/mcp_jev packs not ask_jev\", \"cyrusasco/typesafe-mcp noul deadband 0.35–0.65\", \"codaaiteam/jev-skill jevtypesafeai.com ≠ TypeSafe\", \"hermes-switchyard ≠ hermes-jev-router ≠ hermes-plugin-jev\", \"nanoprune 2.8MB ECE 2.58%\", \"smartdio/jev-browser-agent ≠ ZHUBoer/ego-jev\", \"Dakai/omp-jev-web DONE ≠ proof\", \"hari007sh/jev ≠ dannote/jev\", \"0thernet/system-one-skills deterministic verify\", \"typed-gate band [0.40,0.60] is refusal\", \"pi-jev-gate fail-closed; choice is the verdict\", \"Foq ~25ms/2.2GB local\", \"rev prefill-only + HF jev-0.5b\", \"robfrase/jev planning memo\", \"typesafe_agent_gates 27/27 / 31/31\", \"EpicEric/safe-sh static remainder\", \"pastepilot Confirm before act\", \"Jev-Reranker live Jev not yet measured\", \"sessionwise opt-in relevance\", \"jev-search pointer sieve\", \"400ms Salesforce WebMCP\", \"typesafe-scheduler-diagnostics advisory\", \"droidjev screenshot-free\", \"Tewoto1 jevcu planner still writes\", \"ha-conversation-jev Jev→Grok\", \"dsh-jev can only gate\", \"jev-classification-benchmark specified not run\", \"jev-luna-pagerduty p≥0.50\", \"meldltd/meldecision laya-go ONNX\", \"laya-doom never pixels\", \"logixism/laya-api empty README\", \"akpsahan/laya ≠ Archer\", \"choxos/jevchess engine owns truth\", \"jev-drive sim not AV\", \"story-arc Jev never authors\", \"jev-hs-assistant HS6\", \"golergka/jev-plays-starcraft-2 UI-verified ≠ API Victory\", \"awesome-jev-use-cases catalog\", \"Nibir1/typesafe-go ≠ official\", \"fingerprint after redact\", \"recall vs decide\", \"publish fingerprints+answers\", \"CI replay as Harbor cousin\", \"Cache hit ≠ correctness\", \"hyperspaceai/jevcache ≠ kushals256/jevcache\", \"human labels only\", \"score never auto-accepts\", \"production capture flywheel\", \"sutro-sh/jev-align ≠ caiovicentino/jev-align\", \"guidance ≠ hook\", \"catalysts ≠ summaries\", \"compile-time System One\", \"unofficial ≠ TypeSafe\", \"format_version modernbert-jev/1\", \"Argos1111/jev_local ≠ us/jev-local ≠ kunchenguid/local-jev\", \"LFM default ≠ ModernBERT backend\", \"Nemotron ≠ TypeSafe Jev\", \"not a calibrated replacement\", \"djev-dev complements djev-spark\", \"images as Choice options\", \"Laya essay numbers *theirs*\", \"Router/OOD confidence\", \"hosted bootstrap ≠ silent TypeSafe\", \"difficulty + policy thresholds + JSONL trace\", \"jev-codex-pilot model + reasoning depth\", \"keep/shadow/hybrid/reject\", \"quarry evidence projection\", \"Frank-ZY-Dou/awesome-jev robotics/3D/control\", \"one-dollar-tahoe TypeSafe Jev defense eval\", \"jevguard calibrator/cache/escape\", \"jev-ci-selector CI shadow mode\", \"llama-jev llama.cpp replica\", \"petercr/jev-orchestrator ≠ FleeexCorp/jev-orchestrator\", \"seb4ez/jevguard ≠ AseemPrasad/JevGuard ≠ pablozr/JevGuard\", \"webNeat/llama-jev ≠ WiktorB2004/llama-index-jev\", \"OpenCode jev-pruner context sieve\", \"observe→score-candidates→prune\", \"jev-zen / jev-1.13-free\", \"zen-chat ≠ Noul\", \"fail-open original\", \"keepScore >0.1 floor\", \"host port of tamaratran/jev-pruner\", \"indiejoseph/opencode-jev-pruner ≠ nrdz-labs/fast-jev-opencode\", \"jev-webagent-bench empty stub\", \"Kiln-AI/jev_jsonschema noul_threshold 0.5\", \"NSStudent/JevSwiftSDK unofficial\", \"GLiNER2 native Apple path\", \"unofficial Swift/Core ML GLiNER 2.5-small\", \"entity spans + confidence\", \"not Choice/Score/Noul\", \"not TypeSafe\", \"label descriptions as schema\", \"on-device ANE economics\", \"honesty locks\", \"shershah1024/gliner-native-runtime ≠ Fastino\", \"≠ gliner25-compaction ≠ gliner2-ultrafast ≠ Eran-BA/Jev_from_GLiNER2 ≠ NSStudent/JevSwiftSDK ≠ jevmlx\", \"default threshold 0.1 still soft\", \"Decision Graph Protocol frame→assess→commit\", \"app retains permissions/effects\", \"Jev-first assessor-neutral\", \"guarded commit / receipt/next frame\", \"assessment batching\", \"hard-gating DGP as safety theater\", \"numerous-com/dgp ≠ TypeSafe official\", \"jegrep calibrated path+range Nouls\", \"no embeddings/index/daemon\", \"~$0.01–0.03 typical\", \"agent --json\", \"can1357/jegrep ≠ Bentlybro/jevgrep ≠ uehaj/jev-semgrep\", \"Archer-arch fidelity\", \"kev family OOD 0.76–0.77 vs Jev 0.86\", \"block-causal isolation\", \"pointer/readout CE-trained\", \"/v1/systemone drop-in\", \"replica honesty\", \"cost-sensitive decision theory × System One probabilities → control flow\", \"thresholds derived from costs not hard-coded\", \"YES / NO / UNSURE from cost_false_yes / cost_false_no / cost_human\", \"auto-batching same-object questions\", \"Kungie/gut ≠ tpellet/hunch ≠ carldaws/hunch\", \"judgment vs generation\", \"deterministic execution after probabilistic judgment\", \"exactly one app-owned callback\", \"explicit uncertain branch\", \"Illusion47586/judge ≠ lexingtonhibiki/judgekit ≠ Ascurse/typed-judge-kit\", \"variable-N option scoring as the trainable object\", \"dynamic candidate bags not fixed label sets\", \"zwliJay/jev-forge ≠ NanoJev\", \"open replica economics / latency vs closed Jev\", \"NAR local drop-in\", \"wfzyx/von late-catch HIGH\", \"competing NAR claims / replica honesty\", \"typed judgments vs chat judges on guardrailing\", \"ishaannk/llm-vs-jev cross-note only\", \"deeper integrity fold is rh-guard\", \"nothing wins outright\", \"can be argued out of guarding\", \"Jev IS the if-statement\", \"judgments/probabilities drive branches\", \"text model only writes prose\", \"interpreter owns variables/loops/budgets/replay\", \"otherwise maybe / confidence gate\", \"chaos samples after the gate\", \"southpolesteve/probably ≠ carldaws/hunch ≠ feelings ≠ Kungie/gut ≠ Illusion47586/judge ≠ tidymodels/probably\", \"133★ / forks 10 live\", \"build calibrated classifiers from human feedback\", \"retrieve by relevance not resemblance\", \"one calibrated yes/no per memory in one request\", \"pointer mode 17/18 19/20 *theirs*\", \"embedding resemblance misses the allergy\", \"samdotmak/jev-recall ≠ jev-search ≠ jev-sift ≠ carryforward ≠ chopratejas/invalidate\", \"memory leases ended by new evidence\", \"six Nouls then fixed rules in code\", \"0 of 157 false invalidations\", \"questions/plans/directives are not evidence\", \"unsure → review queue\", \"host keeps the store\", \"name↔body / comment truth / test-claims\", \"mizchi/jev-lint is mizchi/jevlint rename\", \"no shipped rule has severity error\", \"~1 in 5 findings wrong *theirs*\", \"mizchi/jev-lint ≠ huntedman/JevLint ≠ MichitoSugawara/jev-lint\", \"JSON Schema → typed JSON via Jev\", \"noul_threshold 0.5 decoder not a proof\", \"IncompatibleSchemaError lists every bad property\", \"on-device Laya CoreML ANE\", \"~5 ms P50 short decisions\", \"189/189 FP16 checkpoint parity\", \"10× not achieved\", \"mizorewww/laya-coreml ≠ gliner-native-runtime ≠ jevmlx ≠ NandhaKishorM/laya\", \"softmax over allowed tokens ≠ Noul\", \"question-first cache\", \"Micha0827/snapjudge ≠ githubnext/localjev ≠ jevmlx ≠ cendress/SnapJudge\", \"Jev-first Pi agent loop\", \"slow-LLM fallback\", \"explicit action menu / CandidateSource unimplemented\", \"62 tests wiring not quality\", \"direwolfiy/JevPi ≠ standardagents/jevpilot ≠ pi-jev-control\", \"resume-screening bias audit methodology\", \"name×resume factorial independent Nouls\", \"callback determined by resume quality\", \"mean-probability name gaps operationally negligible\", \"natemoo-re/bias-bench ≠ BBQ\", \"Plan/PRD panel → code-owned pass|review|block\", \"cheerleading out of scope\", \"austindixson/planalyzer ≠ single-goodness Noul\", \"cost-aware multi-model routing/escalation\", \"decide vs do\", \"successful-task cost\", \"cannacre8ive/switchboard-ai ≠ ha-switchboard ≠ hermes-switchyard\", \"frozen-protocol zero-shot bench\", \"TypeSafe Jev vs PrismNLI vs Laya\", \"contamination caveat\", \"elcronos/jev-vs-open-decision-models ≠ JevBench ≠ DMB\", \"context-window admission control\", \"VOI gate which tokens are worth the expensive model\", \"fail polarity per lens\", \"on small inputs lenses lose money\", \"cvsgireesh/jevusher ≠ jev-sift ≠ winnow\", \"typed decision control plane\", \"receipt ≠ authorization\", \"historical-v0 zero retained cases\", \"MokiMeow/jev-fabric ≠ jev-forge ≠ dgp\", \"live 15-dim typed rubric re-score per pause\", \"scoring economics exemplar\", \"OpenJev/Codiv ≠ TypeSafe hosted\", \"jose-troche/live-rubric ~$0.000004 desc / ~$0.000006 README\", \"adversarial pre-registered Jev eval\", \"28 predictions before data\", \"123,805 requests\", \"confidence does not track ignorance\", \"polite injection 65% / crude 0%\", \"willkelly/jev-evaluation ≠ jevals ≠ jev-baselines-eval\", \"provider-neutral Elixir/BEAM Noul/Choice/Score SDK\", \"class infrastructure\", \"nshkrdotcom/system_one_sdk ≠ typesafe_sdk ≠ dannote/jev\", \"question-linting of Jev questions themselves\", \"nine jaggedness rules, no API key, no labelled data\", \"static lint ≠ measured separation\", \"yodablocks/jevq ≠ tenbin ≠ JevLint ≠ commitjev\", \"open-weights Laya as class exemplar (binding)\", \"Nx/Bumblebee runtime\", \"host chooses backend\", \"ChristianAlexander/laya_ex ≠ system_one_sdk ≠ dannote/jev ≠ NandhaKishorM/laya\", \"on-chain/edge Laya deploy\", \"parity_verified stays false\", \"model output never grants Tx\", \"humandebri/IC-Laya ≠ laya_ex\", \"auditable weekend replica\", \"Jev outputs never used for training\", \"soft human-vote distributions\", \"unpaired 0.577 vs 0.727\", \"agilabs-ai/jev48 ≠ JevBench ≠ Mapika/decider\", \"adversarial dual-judge / framing attack surface\", \"comparative framing is the usable judgment\", \"prior injection crowds out evidence\", \"copyleftdev/ember ≠ ember.js\", \"Laya specialist fine-tune pipeline\", \"training still GPU-pending\", \"PIXELZX0/XERON ≠ convaiinnovations/laya\", \"Hub Laya replica drop\", \"daliborsb/laya ≠ convaiinnovations/laya ≠ NandhaKishorM/laya\", \"System One student distillation corpus\", \"gold is programmatic\", \"teacher is closed-API clone\", \"do not distill Jev as teacher of record\", \"MagaBitmex/jev-4b-distill-data ≠ missing student checkpoint\", \"non-LLM VIN System One\", \"planning depth not chat\", \"lewislululu/jevon ≠ douglance/jevon\", \"source-bound evidence checks\", \"local quote mismatch needs no API\", \"exit 0 ≠ claim truth\", \"WaynezProg/jev-kit ≠ jonathanavis96/jev-kit (Airlock) ≠ jev-use ≠ jev-mcp\", \"independent System One evidence catalog\", \"scores not one leaderboard\", \"no external record currently reproduced\", \"TokenTrim no-Jev matched hybrid 62.4%\", \"reachjalil/system-one-bench ≠ mallahyari/system-one-benchmark\", \"21 tasks · 134 items · 208 questions\", \"scenes from public GitHub contracts, not production logs\", \"SivletLabs/jev-eval ≠ willkelly/jev-evaluation ≠ 4esv/jev-eval ≠ xxkuboxx/jev-eval ≠ onlyoneaman/jev-eval ≠ dayhaysoos/jevals\", \"option isolation (sibling-blind)\", \"permutation-equivariant\", \"Hub OWNER not published\", \"nafisazizir/hev ≠ jaredpalmer/kev\", \"frozen local LLM logits, no trained decision head\", \"residual-head 9,222-param decreased 73/96→67/96\", \"confidence = 1−normalized entropy, not P(correct)\", \"yuki-oshio/mini-jev ≠ r-ms/mini-jev\", \"Jev classifier as autoregressive next-token predictor\", \"ChatJev-style soundness theater\", \"erik-dunteman/ChatJev ≠ dannote/jev ≠ jev-gpt\", \"calibrated decision head × AlphaProof value head\", \"implementation-layer isomorphism, semantic difference\", \"timeout = censoring\", \"do not launder Noul as proof\", \"parallel rank-prediction vs serial selection\", \"independent questions can conflict\", \"zzzzzec/jevsort ≠ keltokhy/jsort\", \"curated open System One ecosystem catalog\", \"rupeshpoojary9/awesome-open-system-one ≠ AnotiaWang/awesome-jev\", \"arXiv paper radar with Jev relevance scoring\", \"ranking ≠ calibration / 0.5 still soft\", \"fail-open failed evals not marked seen\", \"train calibrated ~27M from scratch\", \"typed Q→prob dist / one forward pass / no LLM decode\", \"hyusi2003/MiniSystemOne ≠ Colvin0315/MiniSystemOne\", \"description-only stub / size 5\", \"ESCI hard probe fails four of six\", \"jev_bool ECE 0.242 inversion 0.255\", \"do not re-fold §60 six-gates as new\", \"jobbyjev one-request-per-company from batch-size result\", \"find/design/evaluate TypeSafe Jev decision loops\", \"karanb192/jev-architect ≠ samtay32/jev-system-architect\", \"Jairik/jev-distiller size 1\", \"distill-Jev UI stub / do not distill Jev as teacher of record\", \"post-launch scored use-case map / Jev self-scores then human curation\", \"licensedsaucer9-web/jev-opportunities\", \"Jev-inize a use case into classifier/router\", \"gavinHuang/jevinize → simple-jev not TypeSafe\", \"featherless-ai/simple-jev\", \"compare saved decisions / same label can still change the branch\", \"VihaanAgarwal/jev-diff ≠ Saik0s/diffusiongemma-jev-macos\", \"not tested with a live Jev API key\", \"constrained logprob + temp/Platt ≠ Noul\", \"OpenJevPro pastes openjev-sglang JevBench as own\", \"zhangcy122/OpenJevPro ≠ IamBusy/OpenJev ≠ ekzhang/openjev-sglang\", \"PolyForm Noncommercial\", \"SmolLM-135M / sub-70ms / 0 output tokens\", \"demo P(True) 0.5052 / Choice conf 0.2872 / Score conf 0.0055\", \"README claims MIT / GitHub license null / no LICENSE file\", \"patelvishwa112/jev-system-one-rlcd ≠ arnabgho/rlcd-lite ≠ blackwood-rlcd\", \"source-backed Awesome Jev radar / 306+ commit-pinned\", \"logicrw/awesome-jev-projects ≠ AnotiaWang/awesome-jev ≠ yibie/awesome-jev ≠ cobanov/awesome-jev ≠ rupeshpoojary9/awesome-open-system-one\", \"auto GitHub sync / Issue-only submissions\", \"hashed n-gram encoder / rival-aware attention\", \"olanotolu/jevbetter vs jevlike starter\", \"synthetic hard menus top-1 0.916 vs 0.873 / ECE 0.0182 vs 0.0367 / 40 vs 4608 menus/sec\", \"shuffled-context control 0.335\", \"structured probability readouts\", \"distribution > argmax\", \"Noul 0.5 midpoint\", \"score is expectation not integer\", \"bare HTTP not SDK\", \"Arohtea/jev-readout\", \"Jev-style Choice/Score/Noul from ordinary models\", \"optional DSH plugin\", \"schema-valid ≠ calibrated\", \"gulagala001/jevify ≠ Mintzs/jevify\", \"Laya RLCD benchmark\", \"40.3% below constant-answer\", \"open-weight measurement\", \"mourad-ghafiri/laya-rlcd-benchmark ≠ yibie/laya-jev-lab\", \"cheap fail-open semantic edge\", \"second signal not sole\", \"FastLoopError catch\", \"SupremeDreamZ/jev-fastloop ≠ jev-ultrafast\", \"asking more questions in one call\", \"0.980 at every N\", \"nearly not fully deterministic\", \"TheWebDevel/jev-fanout\", \"Qwen3-VL perception + Jev decisions train RL\", \"0 model calls at deployment\", \"VLM alone 1.7 vs +Jev 4.4\", \"harneet2512/reflexrl ≠ khordoo/jev-reflex-autonomy-lab\", \"independent Jev API vs Laya\", \"cascade 0.60 matches 78% at 1.8×\", \"noul facts not judgements\", \"yibie/laya-jev-lab ≠ dairui1/jev-lab ≠ BrendanH18/jev-lab\", \"GLiNER vs GLiFormer vs Laya vs Jev\", \"extractors ≠ decision engines\", \"Laya dict-instructions collapse 58.3%\", \"umstek/zero-shot-ie-bench\", \"decisions-per-minute & cost\", \"204 moves vs 73\", \"throughput not intelligence\", \"angelgalvisc/snake-arena-jev-vs-llms ≠ vtrivedy/jev-plays-games\", \"behavioral contracts\", \"pin expectations eval upgrades\", \"raw 0.94 is not a release\", \"sathariels/jevcheck ≠ dayhaysoos/jevals ≠ SivletLabs/jev-eval\", \"evidence-linked dependency upgrade\", \"Jev never generates filenames\", \"no_direct_evidence ≠ safe to merge\", \"GaneshVG18/upgrade-radar ≠ LYchoon/paper-radar-jev\", \"discography theme/mood/complexity\", \"five atomic questions one call\", \"lirantal/discoprint\", \"Turn any open LLM into System-One Jev\", \"uspraveen/Jevify ≠ Mintzs/jevify ≠ gulagala001/jevify\", \"Jevify-any-LLM architecture probe\", \"description-only stub / size 0\", \"Train encoder-only calibrated decision models from a task sentence\", \"Exu is a toolkit, not a method\", \"strictly proper scoring rule\", \"Pre-alpha\", \"Ruivalim/exu-base\", \"scratch-trained calibrated decision model\", \"typed Q → probability dists\", \"Colvin0315/MiniSystemOne ≠ hyusi2003/MiniSystemOne\", \"no published weights download URL\", \"90.5 seconds / 29.2% pipeline evidence\", \"p_i/p_j independent of other candidates\", \"Recipe for calibrated decision models — small model out\", \"init → synth → train → eval → serve\", \"91.1 % / ECE 0.022 *theirs*\", \"Jev zero-shot 75.1\", \"scienthoon/luce\", \"Put Jev's three headline claims on trial\", \"0.5B local GPU\", \"46x speedup / accuracy identical\", \"ECE 0.624 sentiment catastrophe\", \"bigger model worse calibration\", \"RichardoMrMu/jev-mini ≠ yuki-oshio/mini-jev ≠ r-ms/mini-jev\", \"System-1 decision engine for local LLMs\", \"structured choices only\", \"JSON parse of generated text ≠ Noul\", \"TypefAI JEV / Journal Entry Voucher\", \"tapsin/jev-local ≠ us/jev-local ≠ Argos1111/jev_local\", \"Jev 1.13 reward-model eval across 8 benchmark tracks\", \"40,940 examples / 0 API errors\", \"RewardBench v1 92.58%\", \"Precise IF 50.63%\", \"goya4140/jev-reward-model-evaluation\", \"Scaffolding in progress\", \"Jev vs LLM support-ticket routing\", \"static + live decision bench\", \"TypeSafe's own published benchmark\", \"illustrative simulations, not live API calls\", \"JevBench v1 — smart/cheap/fast/reliable\", \"I/C/S/K 25% geometric mean\", \"classifier.dev fast tier 84.8 is Jev behind its own API\", \"do not re-fold §78 v1.2 board as new\", \"Laya (421M) 70.1 now on board\", \"Zero-shot/few-shot LLM routing\", \"hard budget filter before Jev\", \"Jev never asked to perform budget arithmetic\", \"Jev judges the next state, XState enforces transitions\", \"simulation uses synthetic keyword fixtures\", \"catalog gravity\", \"v-modal/awesome-jev-tools\", \"★339 live REST\", \"curation is not endorsement\", \"crawler-maintained directory\", \"Daily GitHub + npm sweep, human-merged\", \"RadRebelSam/awesome-jev ≠ AnotiaWang ≠ yibie ≠ cobanov ≠ logicrw ≠ v-modal\", \"HF peft SPLADE/BGE reranker\", \"rdxtremity/jev-reranking ≠ carlaiau/jev-reranking\", \"query-side encoders, not a Jev replica\", \"ONNX System One Qwen3.5-4B scorer\", \"source:pngwn/system-one-qwen3.5-4b-scorer\", \"CC-BY-NC-4.0\", \"temperature 1.75\", \"transformers.js AutoModel cannot load this graph\", \"Consistency benchmark Space\", \"This Space contains no benchmark result yet\", \"12-case plumbing fixture\", \"Benchmark-driven Jev router and judge\", \"cheap alone is not success\", \"Jev does not write, sum prices, or claim accuracy %\", \"Sol 94.2 / Luna 83.9 / Jev path 89.7\", \"19.2% Sol / 62.3% cost save / 4.5pp miss of 2pp non-inferiority\", \"p50 latency worse than Sol due to routing overhead\", \"erendikmenn/jev-llm-router-benchmark ≠ jev-rag-benchmark ≠ ryantsai/jev-llm-router\", \"Express + node:sqlite\", \"mock and Jev decision engines\", \"previous_ticket_count >= 3 is code\", \"MIN_CONFIDENCE 0.6 still soft\", \"substring false positives\", \"aesaganda/jev-ticket-router ≠ SarathChandraBellam/jev-vs-llm-ticket-router\", \"Universal Figure & Diagram Router\", \"confidence ≥ 0.85 hard-gate is theater\", \"generative AI banned from scientific plots\", \"six visual branches\", \"hoangngochuong24947-gif/jev-figure-router\", \"human-labeled (state, question, label)\", \"166,054 rows / 22 configs\", \"soft_label for human uncertainty\", \"Praveenrajus/jev-bench ≠ fstandhartinger/jevbench\", \"ternary bonsai System One GGUF\", \"openjev's mechanism, Bonsai's weights\", \"Hub does not ship weights\", \"100/100 easy T/F is not Harbor\", \"label_mass ≠ correctness\", \"stock llama.cpp Q2_0 silently gibberish\", \"NicolaiMTLassen/open-bonzi-jev ≠ NicolaiLassen\", \"transformers.js DeBERTa ONNX\", \"source:com-kotobalabs/open-jev-deberta-v3-large\", \"temperature 1.05\", \"AutoModel from_pretrained works\", \"onnx-community/open-jev-deberta-v3-large-ONNX ≠ system-one-qwen3.5-4b-scorer-ONNX\", \"107★ densify\", \"GH 151M vs README 149.6M\", \"PR #1 now closed unmerged\", \"do not re-fold §71 claim-audit as a beat\", \"typed decisions, RLCD, confidence-gated routing\", \"structured ≠ correct\", \"mock not live API\", \"26 tests\", \"wjdjdakf17/jev-study ≠ baekenough/jev-study\", \"bonzi-27b-v2 / ternary-8b / 27b-v1 GGUF family densify\", \"Hub still does not ship weights\", \"WANLI-256 74.6% / 65.2% / 71.1% *theirs*\", \"Bonsai 1 27B Q1_0 runs on stock llama.cpp\", \"ternary still needs PrismML fork\", \"hf:heman10x/openJev-verdict-2.0 twin tokenizer-only\", \"OpenJev Vision image classification + uncertainty\", \"CLEVR-4 held-out joint 0%\", \"hfdataset:IamBusy/OpenJev-Vision-Research-v0.1 12,832\", \"294,912 derived targets not independent samples\", \"Laya multilingual ONNX WebGPU typed-decisions port\", \"63/63 selected answers / 5.1e-4 CPU / 1.2e-2 WebGPU\", \"UpHash-Network/mini-jev is yuki-oshio transfer\", \"jev-injection-bench 11,900 labelled prompts\", \"Jev best ranking / Haiku better ECE 0.021 vs 0.058\", \"0.5–0.9 band is where Jev's numbers do not mean what they say\", \"Prompt wording moves panic 28%\", \"manojlds/jev-dspy-bench ≠ dspachos/jev-dspy ≠ jmanhype/jev-dspy-lab\", \"Jev agreement is similarity, never ground truth\", \"no aggregate quality grade or merge gate\", \"AbstentionBench-on-Jev rank 1 of 20 vs 2025 field\", \"question-asymmetry\", \"forward-looking 0.465 never extreme\", \"openkev calibration layer not a runtime\", \"ECE vs coverage independent\", \"select_threshold returns inf\", \"escalation catches uncertainty not ignorance\", \"misakaikato/openkev ≠ jaredpalmer/kev\", \"pdf-race Docling→Jev vs Gemini\", \"parser owns the wall clock\", \"12/12 tie is a tie\", \"titles selected not generated\", \"flopcheck 16 calibrated tweet judgments\", \"mechanical tells in code\", \"ZeroX-01/jev-atlas ≠ Zaious/jev-capability-atlas ≠ gorock007/jev-atlas\", \"catalog not endorsement\", \"Laya calibration lab Gradio MCP\", \"T never changes argmax\", \"confidence ≠ top-label p\", \"easy probe set refused\", \"40–48 rows too small to ship T\", \"Gemma-4 26B-A4B jevify classification+calibration\", \"LoRA adapter twin not independent eval\", \"Gemma-4 E4B jevify\", \"E4B LoRA stub card\", \"kushalpatil/jevify-gemma4 ≠ Mintzs/jevify ≠ gulagala001/jevify ≠ uspraveen/Jevify\", \"GH kushalpatil07/jevify 404\", \"PAWS 0.580/ece 0.288 is the weak cell\", \"smaller E4B slightly better OOD ECE than 26B-A4B\", \"Hub jevify merged LoRA ships weights\", \"bonzi Bonsai-8B v1 GGUF densify\", \"Bonsai-1.7B v1\", \"Bonsai-4B v1\", \"WANLI-256 64.5% / 60.2% / 52.0% *theirs*\", \"rank #4 / #5 / #6 of 6\", \"JulesHuisman/jev-eval scaffolding / README SHA c356a584 (was empty e69de29b)\", \"JulesHuisman/jev-eval ≠ SivletLabs/jev-eval ≠ willkelly/jev-evaluation ≠ 4esv ≠ xxkuboxx ≠ onlyoneaman ≠ dayhaysoos/jevals\", \"7 bands 6/10 vs 40 bands 0/10\", \"source receipts + confidence slider re-policy without re-inference\", \"32/32 synthetic is smoke not production\", \"classify HF datasets across typed semantic dimensions\", \"roadus2 watch misspelling\", \"lock roadius2/ultra_laya\", \"ultra_laya REVIEW defects\", \"default branch claude/laya-jev-review-gg5ppo\", \"XNLI EN 88.3% ECE 0.032 → RU 77.3% ECE 0.096\", \"Δ −11.0 pp [−14.2,−7.8]\", \"ECE +0.063\", \"MASSIVE no detectable difference at n=600\", \"confidence is function of p_max (r=1.000)\", \"pointer-not-generator 400 human-authored responses\", \"proposed ≠ authorized\", \"FewRel 160: Jev 85.0% vs lexical 13.125%\", \"gated 100% (95/95) coverage 59.375%\", \"J++ composable semantic computation language\", \"judge-jev 0.5 still soft\", \"947 repos scored\", \"A 273 / B 302 / C 372\", \"LLM rubric ≠ benches\", \"No benchmark winner is claimed\", \"phishing: naive 62.6% vs regex 91.8%\", \"5-atomic + LR 95.0% *theirs*\", \"AITuber tension ±15\", \"README npm global\", \"repo is Rust\", \"git-confess code owns counting/blame/ratio\", \"httpx exhibit 11% (13/119) *theirs*\", \"90d trend +12.40% vs random +12.75% vs BH +41.71%\", \"5m win rate 25%\", \"Awesomejev 656 entries / 38,160 stars\", \"tracker likes 64 (+4) lastModified UNCHANGED\", \"Laya present\", \"Blackwood ABSENT\", \"Archer still promised_not_landed\", \"Blackwood tracker ABSENT; likes 2 gated manual\", \"r = c - p_a\", \"ECE 0.021; acc 0.807 vs warmup 0.746\", \"calibration beyond ~500 tokens unmeasured\", \"Independent primitive\", \"11.57s vs 54.10s · 4.67× · 120/128 *theirs*\", \"default path is pretrained Gemma probs not trained RLCD head\", \"GH Meanblock 404; lock leesk212/JEV-CPU\", \"softmax over letter slots ≠ Noul\", \"WANLI 0.741 vs openjev v2 0.77 *theirs*\", \"3-way NLI ≠ Noul\", \"priority 0.464 = majority floor\", \"banking77 contaminated\", \"raw margins not probabilities\", \"GH jev-haiku-benchmarking 404\", \"do not distill Jev as teacher of record (they distilled Haiku)\", \"“0.9 is not one number”\", \"ranking ≠ calibration\", \"banking77 0.8–0.9 stated 0.86 actual 0.73 over-confident *theirs*\", \"≠ Praveenrajus/jev-bench ≠ fstandhartinger/jevbench\", \"$0.0000153–$0.0000226 vs circulating $0.0004 (~20×)\", \"Score is 0..n-1 expectation not 0–1\", \"Noul has no confidence field\", \"TCP floor 198.8 ms\", \"type reliability is not a reason to choose Jev (json_schema 5/5)\", \"gateway tax not one number\", \"Function-only 5/8 vs hybrid 8/8\", \"4/8 without Jev\", \"8 designed cases not conversion lift\", \"≠ RadRebelSam/awesome-jev\", \"200-row pilot Jev 86.5% 173/200 vs Gemini Flash-Lite 86.0% 172/200 vs Pro 87.0% 174/200 *theirs*\", \"not a ranking\", \"NLI Tetris argmax P(entail)−P(contradict)\", \"情緒測謊器\", \"1q 396ms / 30q 567ms\", \"±0.03\", \"33q $0.000045 vs Gemini ~5× slower ~60× cost *theirs*\", \"≠ realZachi/jevtest\", \"8-example Jev vs GPT-5.6 Sol ~64× cost 5.4× latency *theirs*\", \"synthetic; no inference\", \"≠ JevBench v1.2 §78\", \"Judged 3317 / listed 2560\", \"Jev judges, code applies policy\", \"catalog ≠ endorsement\", \"APA “microsecond policy / zero hallucination” overclaim\", \"Client-side quiz; pointer from held docs; scanned-PDF warn\", \"CSP only api.typesafe.ai\", \"Jev judges / agent reasons / user decides\", \"selecting an option is not permission to implement\", \"degraded fallback\", \"pattern exact, judgement must clear floor\", \"no matching pattern → no model call\", \"not a correctness oracle\", \"$0.00022 vs chat $0.00306 *theirs*\", \"Spec vs artifact remainder\", \"treating 0.85 as 85% / minProbability hard-gate as Harbor\", \"VERIFY acquires discriminating evidence, never same-pool confidence-only rescoring\", \"fast/full/max are ceilings not sizes\", \"Solar writes, Jev chooses NEXT ACTION\", \"SemIf 2186★ (+20 vs §109 2166)\", \"jevlike 1038★ (+7 vs 1031)\", \"TypeAR 14★ flat\", \"AnotiaWang 96★ (+1 vs 95)\", \"yibie/awesome-jev 490★\", \"Laya likes 802 (was 783)\", \"tracker likes 64 flat, lastModified UNCHANGED\", \"do not reopen or amend PR #23/#24/#25/#26/#27.\", \"do not reopen or amend PR #23 or #24 or #25 or #26 or #27\", \"Calibration is not alpha\", \"NO CURRENT ALPHA CANDIDATE\", \"ΔR² approximately +0.00084\", \"Brier 0.2131387\", \"ECE 0.0421875\", \"Adding Jev probability to deterministic volatility improved Brier by only 1.4058e-05\", \"default 0.5 keeps zero non pinned\", \"keepResult median 0.14 to 0.17\", \"keepCall median 0.28 to 0.35\", \"usable range is about 0.10 to 0.25\", \"7.8% to 57.9%\", \"judges results it never sees\", \"task-finish eval not built yet\", \"$0.002 per compaction\", \"slavadubrov/sgr-judge-bench ≠ slavadubrov/jev-judge-bench\", \"Jev 108/120 $0.083 0.34 s\", \"Luna SGR 114/120\", \"paired Jev accuracy-difference intervals include zero\", \"not evidence of equivalence\", \"GLM SGR 26/120 93 format failures\", \"Terra-planned Jev hybrid 55/120\", \"rule-based by default, optionally Jev-backed\", \"empty README\", \"missing key cannot break the experience\", \"prefill plus exactly one decode\", \"softmax over A/B/C ≠ Noul\", \"BBQ 9,053/10,000 (90.53%)\", \"ECE 0.0890\", \"Mean confidence 0.9943\", \"overconfident\", \"score and noul not implemented\", \"DGUI 12 rows (was 6)\", \"INSTRUCT 119 rows likes 2\", \"encode the state once, decide everything in parallel\", \"0.740 accuracy against a 0.508 majority\", \"ECE 0.047\", \"fine-tune's advantage ends where its 384-token training data does\", \"jasonkneen/open-jev ≠ pngwn/open-jev\", \"same sha d41dc3cd\", \"Space does not call Jev\", \"recomputes routing from saved probabilities\", \"200-case Jev 97.0% / 100.0% / 95.0% / MAE 9.22\", \"synthetic repository benchmark\", \"Jev evaluations are advisory\", \"YehuiTang0316/jev-nlgrep ≠ Bentlybro/jevgrep ≠ can1357/jegrep ≠ uehaj/jev-semgrep\", \"default threshold 0.8 still soft\", \"40-line windows cannot prove whole function\", \"token-native sequential start/end Choice\", \"Gemini/Haiku stubs not configured yet\", \"handful of hand-written examples, not a benchmark\", \"Jev judged exactly what it was given\", \"laguagu/jev-skills ≠ laguagu/jev-evidence-lab ≠ Pleo2/awesome-jev-agent-skills\", \"contract_passed is not a claim of guaranteed factual truth\", \"Wilson lower bound 0.85 floor\", \"fixture mode no savings claim\", \"SemIf 2207★ (+21 vs §110 2186)\", \"jevlike 1043★ (+5 vs 1038)\", \"TypeAR 15★ (+1 vs 14)\", \"AnotiaWang 97★ (+1 vs 96)\", \"yibie/awesome-jev 506★ (+16 vs 490)\", \"Laya likes 822 (was 802)\", \"tracker likes 64 flat, lastModified UNCHANGED\", \"do not reopen or amend PR #23/#24/#25/#26/#27/#28\", \"people who compare Jev against GPT-5.6 has never fine-tuned BERTForXYZ for living and it shows\", \"zero shot classifiers\", \"scale them as much as decoder only models\", \"many problems solved with LLMs could have been solved with them, it was a skill issue\", \"opt for DeBERTa and ModernBERT ones\", \"BERTForXYZ → DeBERTa → ModernBERT\", \"Jev vs GPT-5.6 bakeoffs are a category error\", \"encoder / ZS classifiers\", \"institutional HF voice\", \"quote *theirs*\", \"do not invent accuracy numbers\", \"softmax/ZS scores still ≠ calibrated Noul\", \"soft scores ≠ hard gates\", \"@mervenoyann\", \"likes 421 / 189\", \"impressions 35498 / 9613\", \"multimodal image<>text ZS as perception front-end\", \"hf:MoritzLaurer/deberta-v3-large-zeroshot-v2.0 likes 139\", \"hf:MoritzLaurer/ModernBERT-large-zeroshot-v2.0 likes 72\", \"Bart, bert, deberta, modernbert, these are all LLMs\", \"Maziyar quoted\", \"Jev is exemplar not the mandate\", \"do not reopen or amend PR #23/#24/#25/#26/#27/#28/#29\", \"Heman10x-NGU/Verdict-open-jev ≠ Heman10x-NGU/openJev-verdict-2.0\", \"TF-IDF + LogReg ECE 0.0207 vs Jev 0.1440\", \"Verdict-open-jev 48.07% vs Jev 90.80%\", \"abstention combined recall 10.00%\", \"p50 35.58 ms\", \"K=25 (maximum capacity) 72.00%\", \"0.85 coverage 84.60% selective risk 1.18%\", \"26.1× faster than standard Qwen JSON generation\", \"Jevify 90.0% / 167 ms CUDA graphs disabled\", \"Finding 1: Brier on stated confidence alone is a trap\", \"grpo_rlcr 0.78 / ECE 0.084\", \"reliability 0.007 but resolution 0.000\", \"27 900 schema-driven decisions\", \"13 600 / 13 600 questions\", \"candidate mass min 0.99999624\", \"22 configs · 166,054 rows · 4 calibration-gold\", \"sha a39eba3f\", \"Student B MAE 0.148 / Pearson 0.836 / 86.0%\", \"pngwn/open-jev-laya-bench README 404\", \"sha 9f69c742 likes 2\", \"HDFS 0.9933 (745/750) / retain 0.0084\", \"BGL ERROR/FATAL protection 1.0000\", \"2,479 / 2,500 HDFS uncertain\", \"cache hit 0.9648 (2412/2500)\", \"$0.153936 estimated\", \"E2 recomputes from saved probabilities\", \"Space sha eda59e0a\", \"MASSIVE English 0.783 / Khmer 0.033 / Hindi 0.133\", \"40–48 rows too small to ship T\", \"T never changes argmax\", \"siren2345/jev-single-decode-transformers ≠ siren2345/jev-single-decode\", \"Split Transformers experiment from llama.cpp runtime\", \"tanayvasishtha/jev-lab ≠ dairui1/jev-lab ≠ BrendanH18/jev-lab ≠ yibie/laya-jev-lab\", \"Four experiments stress-testing TypeSafe's Jev: calibration, bundle bias, label bias, and ensembling\", \"second pass must be $0.00 from cache\", \"The pages never call Jev\", \"Gemma 4 31B 77.0% / Jev 1.13.0 61.4% / Laya 322M 0.0%\", \"restriction state 95.0% against 84.4%\", \"None of the systems are particularly good at knowing when to stop and ask\", \"They skip the question and call a tool directly\", \"100% schema pass\", \"six-field joint 48.8% vs 72.8%\", \"ywchiu/jev_benchmark ≠ Running-Dolphins/jev-bench ≠ Praveenrajus/jev-bench\", \"ACT / REVIEW / FALLBACK\", \"A provider failure, timeout, malformed output, or missing answer is **not** a policy outcome\", \"confidence is descriptive provider output, not a substitute for probability\", \"Quality denominators include only valid scored answers\", \"an exact halfway tie chooses the lower level\", \"aiwithenoch/Jev-Skill ≠ simplosophy/jev-skill ≠ laguagu/jev-skills\", \"The local path does not claim to turn a smaller checkpoint into Jev\", \"Low support becomes decision: \"review\"\", \"MIT-0 SPDX NOASSERTION\", \"current-llm\", \"结构兼容,不是 Jev 模型能力\", \"altryne/jevify ≠ Mintzs/jevify ≠ gulagala001/jevify ≠ uspraveen/Jevify\", \"Find where Jev belongs. Design the questions. Measure the difference\", \"TypeAR-AI/TypeAR 301 → TypeLLM/TypeLLM\", \"TypeLLM/TypeLLM 16★\", \"SemIf 2241★ (+34 vs §111 2207)\", \"jevlike 1051★ (+8 vs 1043)\", \"AnotiaWang 98★ (+1 vs 97)\", \"yibie/awesome-jev 525★ (+19 vs 506)\", \"Laya likes 864 (was 822)\", \"tracker likes 67 (+3 vs 64)\", \"lastModified UNCHANGED `2026-09-20T04:29:16.000Z`\", \"do not reopen or amend PR #23/#24/#25/#26/#27/#28/#29/#30/#32\", \"soft Noul ≠ hard safety\" with a placement, not a stack replacement or a vendor how-to. Formal methods are one pillar., \"A hunch is a probability with a policy attached\", \"{ enter: 0.8, exit: 0.6 } is hysteresis\", \"replay a policy change without inference\", \"Decision models are providers, not the product\", \"huncho ≠ Kungie/gut ≠ carldaws/hunch ≠ tpellet/hunch\", \"pretrained Qwen2.5 base ECE 0.030 (0.5B) / 0.040 (7B)\", \"instruct 0.302 / 0.269\", \"70.9% → 70.0% mean conf 74.1% → 96.7%\", \"temperature scaling still matches it in-distribution\", \"No Jev API was called\", \"Qwen2.5 ≠ Archer\", \"Qwen/Qwen3.8-27B ≠ Archer\", \"calibration does not compose\", \"ECE has exactly zero statistical power to detect the failure mode that kills trajectories\", \"25–60× headline withdrawn\", \"P(all-correct): 0.0071 vs 0.0001\", \"TCE / AMS\", \"Deferred Crispification\", \"Qwen 3.8 sparring ≠ Archer\", \"pd.cut bins by equal width while jeval bins by quantile\", \"ECE 0.113 and ECE 0.076\", \"jeval drift is not implemented yet\", \"ranking ≠ calibration\", \"g0runmezadam/what-is-jev IS tunahansahin897/what-is-jev\", \"same GitHub id 1378007307\", \"947 repos scored\", \"A 273 · B 302 · C 372\", \"LLM rubric ≠ benches\", \"Probabilities are advisory, not calibrated guarantees\", \"light_cutoff_applied_to_combination 0\", \"AND: product (independence assumed and recorded in the trace)\", \"circuit-vl-4b ≠ Archer\", \"soundness theater / measurement theater\", \"hourly 0843 / notes.md §114\", , \"Jev Capability Resolver / NiazMorshed2007/jcr\", \"one tool to find documented deterministic commands in a nested capability tree\", \"returns context; **does not execute**\", \"skills = workflow+judgment; capabilities = individual operations\", \"format independent of Jev; proposed open standard exploration\", \"classify (Jev) → optional OpenAI decompose compound → beam search geometric mean of routing probs\", \"keep up to 3 paths ≥60% of best (JCR_BAND_RATIO 0.6)\", \"soft scores ≠ hard gates; 0.6 band is application policy\", \"routing ≠ permission; docs ≠ authority to run\", \"sol-vs-opus5-20 *theirs*; lookup+explain only; n=1 per cell; Not Harbor task-execution\", \"Claude Opus 5: agent input 108,585→15,819 (−85%)\", \"Codex GPT-5.6-Sol wall 25.3s→62.4s (Sol slower with JCR in 19/20)\", \"NiazMorshed2007/jcr ≠ skill-broker ≠ skillranker ≠ jev-sift ≠ jev-lens ≠ jevusher ≠ jev_select_capability\", \"do not reopen or amend PR #23/#24/#25/#26/#27/#28/#29/#30/#31/#32/#33/#34\", \"notes.md §116\", \"SemIf was formerly OpenJev\", \"independent; not affiliated with Jev or TypeSafe\", \"Direct option logits\", \"0 output tokens\", \"shared-state parallel\", \"MLX backend for Apple Silicon (`--backend mlx`)\", \"5.21×\", \"argmax agree 18/21\", \"systems comparison ≠ semantic equivalence\", \"Parallel suffixes 20.03 dec/s\", \"authored BA 0.813\", \"TypeSafe subset agreement 0.845 vs Published Jev 0.883\", \"Softmax over options ≠ calibrated Noul\", \"wire/agreement ≠ replica of TypeSafe\", \"SemIf ≠ kw2828/OpenJev playground\", \"≠ zhihz/openjev\", \"≠ apiplant/semif-rs port\", \"≠ dddanielliu/semif-serve\", \"live REST 2282★ / 140 forks\", \"HEAD ca3ba65f1429\", \"notes.md §117\", \"rename is densify not a second census\", \"JevBench 74.6 is §78 not this ladder\", \"typed output does not guarantee semantic correctness\", \"soft Noul ≠ hard safety\" with a placement, not a stack replacement or a vendor how-to. Formal methods are one pillar. , \"Turn decision-shaped LLM prompts into proposed Jev primitives\", \"conversion assistant, not an automatic guarantee of equivalent behavior\", \"deterministic heuristics, not an LLM or evaluation model\", \"heuristic conversion ≠ calibrated Noul\", \"alexwestco/llm-to-jev ≠ altryne/jevify\", \"user-provided 0940 / notes.md §118\", Not a substitute for the official typesafe-ai skill (live Jev API contracts)." license: MIT metadata: - version: 0.4.0 + version: 0.5.0 typesafe_skill: v0.5.7 typesafe_skill_commit: 65a39f3 tribute: "Named for Augustus De Morgan (1806-1871), mentor of William Stanley Jevons." diff --git a/.claude-plugin/marketplace.json b/.claude-plugin/marketplace.json index b2aac59..804d87f 100644 --- a/.claude-plugin/marketplace.json +++ b/.claude-plugin/marketplace.json @@ -7,7 +7,7 @@ "description": "Design judgment for placing typed probabilistic judgment (Jev-class System One) using math, logic, and algorithmic mental models — across AI, SWE, business, knowledge work, and life. Jev is the exemplar, not the monopoly (Laya, kev, OpenJev, TypeAR, GLiNER, encoder ZS). Ranking ≠ calibration; soft Noul ≠ hard gate. Formal methods are one pillar. Never launder a Noul as a proof. Not a TypeSafe product — load typesafe-ai for Jev contracts. Named for Augustus De Morgan, mentor of W. S. Jevons.", "name": "augustus", "source": "./.agents/skills/augustus", - "version": "0.4.0" + "version": "0.5.0" } ] } diff --git a/CHANGELOG.md b/CHANGELOG.md index bb808ac..8c6355c 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -16,74 +16,84 @@ folds: `research/notes.md`. ## [Unreleased] -Merged after v0.4.0: 0843 (§114 / 289–302 / #97), NanoJev (§115 / -303–308 / #98), jcr (§116 / 309–316 / #99), SemIf (§117 / 330–336 / -#100), llm-to-jev (§118 / 322–329 / #101), plus this hygiene pass. -Does **not** bump the 0.4.0 pin. Uniqueness dumps live in +## [0.5.0] - 2026-09-20 + +Pegged against [`typesafe-ai/skills` v0.5.7](https://github.com/typesafe-ai/skills/tree/v0.5.7) +(`65a39f3`, 2026-09-12). Live HEAD of that repo is still this commit, +the only tagged official-skill revision. + +Nine commits on `main` after the v0.4.0 tag (merged #33 README map, +#31 Harbor-jevals, #34 Pages layout, #35 hysteresis/ECE, #36 NanoJev, +#38 jcr, #37 SemIf, #40 llm-to-jev, #39 0843 hygiene). Open #41 +(0947 fold) is in flight on another branch and is not part of this +release. Verbose hourly locks stay in [`research/changelog-hourly.md`](research/changelog-hourly.md). -Do not reopen or amend PR #23–#40. Do not push onto open #41. ### Added -- **User-provided 0940 HIGH (`notes.md` §118).** Migration / - question-design on-ramp: [alexwestco/llm-to-jev](https://github.com/alexwestco/llm-to-jev) - turns decision-shaped LLM prompts into proposed Choice/Score/Noul. - Conversion assistant, not an automatic guarantee of equivalent - behavior. Deterministic heuristics, not an LLM. Partial - convertibility; prose stays with the LLM. Heuristic conversion ≠ - calibrated Noul. Companion to the decision-design card + - validation gate. Composition items 322–329 / batch #101. -- **SemIf densify (PRIMARY, `notes.md` §117).** [TheoLeeCJ/SemIf](https://github.com/TheoLeeCJ/SemIf) - MIT; homepage openjev.com; default **master**; live REST - **2282★** / **140** forks; HEAD `ca3ba65f1429`. SemIf was - formerly OpenJev; independent; not affiliated with Jev or - TypeSafe. Direct option logits; 0 output tokens; MLX backend - (`--backend mlx`). Speed *theirs* Qwen3.5-4B 3090: direct - 1.023s vs AR JSON 5.332s (**5.21×**); argmax agree 18/21 - (systems comparison ≠ semantic equivalence). Browser ladder - authored BA 0.813, pert 0.766, TypeSafe subset 0.845 vs - Published Jev 0.883 *theirs*. Softmax over options ≠ calibrated - Noul. Rename is densify not a second census. JevBench 74.6 is - §78 not this ladder. Composition items 330–336 / batch #100. -- **NiazMorshed2007/jcr (`notes.md` §116).** Capability-tree - lookup returns context, **does not execute**. skills vs - capabilities. 0.6 band is application policy. routing ≠ - permission. docs ≠ authority to run. sol-vs-opus5-20 - lookup+explain only; n=1; wall-time mixed; Not Harbor - task-execution. Live REST **4★**; HEAD `138b3832`; size - **14850**. Composition items 309–316 / batch #99. -- **NanoJev unified-games-v1 densify (`notes.md` §115).** - TianyuCodings/NanoJev (Python MIT; **1289★** / **158** forks; - HEAD `618cea6d`). Quote *theirs*: A 0.6B parallel decision - model; zero output-token decoding; one model, four games. - Game success ≠ calibrated Noul. not TypeSafe Jev. Composition - items 303–308 / batch #98. -- **Hourly 0843 HIGH (`notes.md` §114).** Measurement / judgment - fold. PRIMARY: pretrained Qwen2.5 base ECE already low; - instruct-tuning wrecks honesty (acc flat, mean conf - 74.1%→96.7%). Equal-width ECE ≠ quantile ECE (0.113 vs 0.076 - *theirs*). Calibration does not compose; hop-ECE is - permutation-invariant (soundness theater as a trajectory - audit); Deferred Crispification; 25–60× headline withdrawn. - Hysteresis `{enter:0.8, exit:0.6}` is policy attached to a - probability. Ranking ≠ calibration. g0runmezadam/what-is-jev - **is** tunahansahin897/what-is-jev. Qwen2.5 / Qwen 3.8 / - Qwen/Qwen3.8-27B ≠ Archer. Archer still promised_not_landed. - Composition items 289–302 / batch #97. -- **Hourly 0743 HIGH (`notes.md` §113).** Harbor-jevals PRIMARY - (ywchiu/jev_benchmark). Verdict-open-jev linear ECE floor ≠ - TypeSafe replica. DecisionOps ACT / REVIEW / FALLBACK - (provider failure is **not** a policy outcome). Lock dump: - [`research/changelog-hourly.md`](research/changelog-hourly.md). +- **Pages / onboarding.** Custom site layout (nav, comparison, install, + pillars). With vs without Augustus on the homepage and README + (`docs/assets/with-without-augustus.svg`): call-then-act vs + place-then-judge. Jev is the exemplar, not the monopoly. + +- **README.** Scannable skill map (one line per file). The living catalog + stays in the reference cards and `research/notes.md`, not a README wall. + +- **Recipes (class, not Jev-only).** Same with/without split for any + Choice/Score/Noul-style or typed probabilistic judgment tool. Full + cards: [`docs/release-notes-v0.5.0.md`](docs/release-notes-v0.5.0.md). + Shape, not invented scores: + - **Encoder (GLiNER / GLiClass):** without — swap locate/categorize for + a decision head and hard-gate spans. With — species map; remainder + after extractive spans. Measure span quality separately from ECE. + - **Open heads (Laya, SemIf, kev, Jeff-1):** without — treat wire-compat + or argmax agree as a replica. With — softmax over options ≠ calibrated + Noul; systems timing ≠ semantic equivalence. Measure ECE/Brier on + held-out, not only speed or top-1. + - **NanoJev:** without — game wins as calibration. With — specialist + gameplay S1; local boolean ≠ TypeSafe noul. Measure held-out game + success separately from ECE. + - **llm-to-jev:** without — ship converted prompts as equivalent + behavior. With — heuristic on-ramp; review Score rubric; prose stays + with the LLM. Conversion ≠ calibrated Noul. + - **jcr:** without — run what the capability tree found. With — lookup + returns context and **does not execute**. Routing ≠ permission; + docs ≠ authority to run. + - **localjev / prompted JSON:** without — parse generated JSON as a + Noul. With — schema-valid ≠ picked-right; prompted JSON ≠ structured + logit read. + +- **Class / migration.** llm-to-jev conversion on-ramp (`notes.md` §118). + SemIf rename + MLX densify (`§117`; formerly OpenJev, independent). + NanoJev unified-games densify (`§115`). jcr capability resolver + (`§116`; docs ≠ execute). + +- **Measurement honesty.** 0843: hysteresis `{enter, exit}` is policy + attached to a probability, not a model property; instruct-tuning can + wreck ECE while accuracy stays flat; equal-width ECE ≠ quantile ECE; + hop-ECE is permutation-invariant (trajectory soundness theater); + ranking ≠ calibration. 0743: Harbor-jevals practice (schema-pass ≠ + joint fields; skip-and-call-a-tool); Verdict linear ECE floor ≠ + TypeSafe replica; DecisionOps ACT / REVIEW / FALLBACK (a provider + failure is **not** a policy outcome). Evaluator reports both ECEs, + AUC, accuracy@0.5, cost-optimal threshold, hysteresis, and hop-ECE + invariance. ### Changed -- `evaluate_decisions.py` hop-ECE self-test covers reverse **and** - even/odd interleave (permutation invariance is not reverse-only). -- `uniqueness_gate.py` checks Pages strings (`LICENSE` lives in - the #34 layout) and refuses CHANGELOG/README dump walls. The - 0843 uniqueness lock includes merged #34 and #35. -- `docs/ecosystem.md` 0843 blurb cites `notes.md` §114. +- Marketplace plugin version and SKILL YAML pin: 0.4.0 → 0.5.0. +- Homepage / README / CITATION.cff / SECURITY supported line follow 0.5.0. +- CHANGELOG Unreleased dump folded into this cut. Verbose hourly locks + remain in `research/changelog-hourly.md`. +- Evaluator hop-ECE self-test covers reverse and even/odd interleave + (permutation invariance is not reverse-only). uniqueness_gate checks + Pages strings (`LICENSE` in the #34 layout) and refuses CHANGELOG/README + dump walls. `docs/ecosystem.md` 0843 blurb cites `notes.md` §114. + +### Security + +- `SECURITY.md`: supported line is 0.5.x. Report via GitHub Security + Advisories. No invented Scorecard number. ## [0.4.0] - 2026-09-20 diff --git a/CITATION.cff b/CITATION.cff index 5de8e29..f3b973c 100644 --- a/CITATION.cff +++ b/CITATION.cff @@ -24,5 +24,5 @@ keywords: - formal-methods - agentic-ai license: MIT -version: 0.4.0 +version: 0.5.0 date-released: "2026-09-20" diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index b7000c0..28f2175 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -45,7 +45,7 @@ re-opened as "new." Before folding: - Do not re-fold an already-landed section as a new beat - Do not reopen or amend a merged fold PR (#23–#40) - Do not push onto an in-flight fold PR (open #41) -- Pre-0.4.0 uniqueness dump: `research/changelog-hourly.md` (archive, +- Hourly uniqueness dump: `research/changelog-hourly.md` (archive, not release notes) ## Secrets diff --git a/README.md b/README.md index bc0e1cc..3c82a14 100644 --- a/README.md +++ b/README.md @@ -34,7 +34,22 @@ never launder a Noul as a proof. ![Jev-class models with vs without Augustus. Without: call the model, act on the score, then quiet failure modes (soft Noul treated as hard gate, GPT bakeoff framing, no falsifier, polarity unchosen). With Augustus: state, pillar and family map, question design, fail-open vs fail-closed, typed Choice Score Noul, code owns effects, named falsifying experiment.](docs/assets/with-without-augustus.svg) -Jev-class: Jev, kev, Laya, OpenJev. Call and act, or place the judgment. +Jev-class: Jev, kev, Laya, OpenJev, GLiNER, SemIf, NanoJev, Jeff-1, localjev. +Call and act, or place the judgment. Same split for any typed probabilistic +judgment tool, not Jev-only. + +## Recipes + +Class-wide, not a TypeSafe how-to. Full cards: +[`docs/release-notes-v0.5.0.md`](docs/release-notes-v0.5.0.md) · +[Pages recipes](https://24601.github.io/Augustus/#recipes). + +- **Encoder (GLiNER / GLiClass).** Without: treat locate/categorize as a decision head and hard-gate spans. With: species map; remainder after extractive spans. Measure span quality separately from ECE. +- **Open heads (Laya, SemIf, kev, Jeff-1).** Without: wire-compat or argmax agree as replica. With: softmax ≠ calibrated Noul; systems timing ≠ semantic equivalence. Measure ECE/Brier on held-out, not only speed. +- **NanoJev.** Without: game wins as calibration. With: specialist gameplay S1; local boolean ≠ TypeSafe noul. Measure held-out game separately from ECE. +- **llm-to-jev.** Without: ship converted prompts as equivalent behavior. With: heuristic on-ramp; review the Score rubric. Conversion ≠ calibrated Noul. +- **jcr.** Without: run what the tree found. With: lookup returns context; **does not execute**. Routing ≠ permission; docs ≠ authority to run. +- **localjev / prompted JSON.** Without: parse generated JSON as a Noul. With: schema-valid ≠ picked-right. ## The skill @@ -113,7 +128,7 @@ GPT's instructions or a Project's knowledge and it will follow the protocol. ## Versioning See [CHANGELOG.md](CHANGELOG.md) and -[releases](https://github.com/24601/Augustus/releases). Current: **0.4.0**, +[releases](https://github.com/24601/Augustus/releases). Current: **0.5.0**, written against [`typesafe-ai/skills` v0.5.7](https://github.com/typesafe-ai/skills/tree/v0.5.7) (`65a39f3`; live HEAD still this commit). Re-read live TypeSafe docs before treating that pin as current API behavior. diff --git a/SECURITY.md b/SECURITY.md index e61a073..45f77c2 100644 --- a/SECURITY.md +++ b/SECURITY.md @@ -4,9 +4,9 @@ | Version | Supported | | ------- | --------- | -| 0.4.x | Yes | -| 0.3.x | No | -| < 0.3 | No | +| 0.5.x | Yes | +| 0.4.x | No | +| < 0.4 | No | This repo is a design-judgment skill plus offline scripts. There is no hosted API and no runtime that accepts untrusted input by default. diff --git a/docs/_includes/comparison.html b/docs/_includes/comparison.html index 25928ce..cec817d 100644 --- a/docs/_includes/comparison.html +++ b/docs/_includes/comparison.html @@ -4,13 +4,18 @@

With vs without Augustus

Call the model and act on the score, or place the judgment. Jev is the - exemplar. kev, Laya, and OpenJev sit in the same class. Not TypeSafe-only. + exemplar. Encoders, open heads, gameplay specialists, and conversion + on-ramps sit in the same class. Not TypeSafe-only.

@@ -82,7 +87,10 @@

Place, then judge

- Shared class: Jev, kev, Laya, OpenJev. Augustus owns placement. The model - owns narrow judgment. Code owns the effect. + Shared class: Jev, kev, Laya, OpenJev, GLiNER, SemIf, NanoJev, Jeff-1, + localjev. Augustus owns placement. The model owns narrow judgment. Code + owns the effect. + Class recipes + (problem → without → with → measure).

diff --git a/docs/_includes/recipes.html b/docs/_includes/recipes.html new file mode 100644 index 0000000..6b4b9da --- /dev/null +++ b/docs/_includes/recipes.html @@ -0,0 +1,104 @@ +
+
+

Recipes

+

Same split, whole class

+

+ Not Jev-only. Problem → without → with → what to measure. Full cards + in the + v0.5.0 notes. + No invented scores. +

+
+
+
+

Encoder

+

GLiNER / GLiClass

+
+
Problem
+
Locate or categorize treated as a decision head.
+
Without
+
Swap, hard-gate spans, bake off a chat LLM.
+
With
+
Species map. Extractive remainder. Soft scores ≠ hard gates.
+
Measure
+
Span quality separately from ECE. Softmax ≠ Noul.
+
+
+
+

Open heads

+

Laya, SemIf, kev, Jeff-1

+
+
Problem
+
Wire-compat or argmax agree treated as a replica.
+
Without
+
Drop-in swap. Ship the speedup. Skip OOD.
+
With
+
Softmax ≠ calibrated Noul. Systems timing ≠ semantic equivalence.
+
Measure
+
Held-out ECE/Brier and accuracy. In-distribution vs OOD.
+
+
+
+

Gameplay

+

NanoJev

+
+
Problem
+
Game success treated as a calibrated Noul.
+
Without
+
Quote a win rate as a production gate.
+
With
+
Specialist S1. Local boolean ≠ TypeSafe noul.
+
Measure
+
Held-out game metrics on one ledger. ECE on another.
+
+
+
+

Conversion

+

llm-to-jev

+
+
Problem
+
A chat prompt assumed equivalent to Choice/Score/Noul.
+
Without
+
Paste, convert, ship.
+
With
+
Heuristic on-ramp. Review the Score rubric. Prose stays with the LLM.
+
Measure
+
Suitability labels and human review. Not equivalent behavior.
+
+
+
+

Lookup

+

jcr

+
+
Problem
+
Finding a documented command treated as permission to run it.
+
Without
+
The agent executes whatever the tree returned.
+
With
+
Returns context. Does not execute. Routing ≠ permission.
+
Measure
+
Lookup+explain only. Not Harbor task-execution.
+
+
+
+

Readout

+

localjev / prompted JSON

+
+
Problem
+
Parsed JSON from a generator treated as a Noul.
+
Without
+
Schema-valid taken as picked-right.
+
With
+
Prompted JSON ≠ structured logit read. Schema-valid ≠ picked-right.
+
Measure
+
Schema pass separately from calibration and from the effect.
+
+
+
+

+ Measurement recipe (hysteresis, equal-width vs quantile ECE, hop-ECE, + Harbor schema-pass ≠ joint, DecisionOps FALLBACK): + v0.5.0 notes. + Ranking ≠ calibration. Soft Noul ≠ hard gate. +

+
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index ca05002..6b0bbfc 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -36,7 +36,7 @@ Ecosystem
  • - v0.4.0 + v0.5.0
  • GitHub diff --git a/docs/assets/css/site.css b/docs/assets/css/site.css index 2c2819b..b27baa6 100644 --- a/docs/assets/css/site.css +++ b/docs/assets/css/site.css @@ -679,6 +679,66 @@ a:hover { font-size: 0.88rem; } +.recipes { + margin-bottom: 2.75rem; +} + +.recipes .section-head { + max-width: 44rem; +} + +.recipe-grid { + display: grid; + grid-template-columns: repeat(2, minmax(0, 1fr)); + gap: 0.85rem; +} + +.recipe { + padding: 1.1rem 1.15rem 1.2rem; +} + +.recipe .kicker { + margin-bottom: 0.35rem; +} + +.recipe h3 { + margin: 0 0 0.7rem; + font-size: 1.02rem; + font-weight: 600; + letter-spacing: -0.025em; +} + +.recipe dl { + margin: 0; +} + +.recipe dt { + margin: 0; + font-family: var(--font-mono); + font-size: 0.68rem; + font-weight: 500; + letter-spacing: 0.12em; + text-transform: uppercase; + color: var(--muted); +} + +.recipe dd { + margin: 0.18rem 0 0.7rem; + font-size: 0.92rem; + line-height: 1.45; +} + +.recipe dd:last-child { + margin-bottom: 0; +} + +.recipe-measure { + padding: 0.5rem 0.6rem; + border-radius: 8px; + background: color-mix(in srgb, var(--indigo) 8%, var(--panel-strong)); + box-shadow: inset 0 0 0 1px color-mix(in srgb, var(--indigo) 16%, transparent); +} + @media (prefers-color-scheme: dark) { .fail-label, .fail-well li { @@ -910,7 +970,8 @@ html.hero-done .compare-step { .card-grid, .install-grid, .companion-list, - .compare-grid { + .compare-grid, + .recipe-grid { grid-template-columns: 1fr; } diff --git a/docs/index.md b/docs/index.md index 87ab2c6..2d77250 100644 --- a/docs/index.md +++ b/docs/index.md @@ -7,7 +7,7 @@ page_class: home
    -

    v0.4.0, System One

    +

    v0.5.0, System One

    Place judgment. Keep proof exact. @@ -18,6 +18,7 @@ page_class: home

    @@ -43,6 +44,7 @@ page_class: home
    {% include comparison.html %} +{% include recipes.html %}
    @@ -153,5 +155,5 @@ claude plugin install augustus@augustus
  • -

    Last updated 2026-09-20 (v0.4.0).

    +

    Last updated 2026-09-20 (v0.5.0).

    diff --git a/docs/release-notes-v0.5.0.md b/docs/release-notes-v0.5.0.md new file mode 100644 index 0000000..58c77f0 --- /dev/null +++ b/docs/release-notes-v0.5.0.md @@ -0,0 +1,134 @@ +--- +layout: default +title: Release notes v0.5.0 +--- + +# Release notes v0.5.0 + +Place typed probabilistic judgment. Jev is the exemplar, not the +monopoly. The same with/without split applies to GLiNER/GLiClass, Laya, +SemIf, NanoJev, kev, Jeff-1, localjev, llm-to-jev shaped prompts, and +other Choice/Score/Noul-style tools. Exact work stays in code or policy. +A soft score is not a proof. + +Pegged against [`typesafe-ai/skills` v0.5.7](https://github.com/typesafe-ai/skills/tree/v0.5.7) +(`65a39f3`, 2026-09-12). Live HEAD of that repo is still this commit. + +Diagram: [with vs without Augustus](https://24601.github.io/Augustus/) +(README SVG + Pages). Merged #39 hygiene is on main. Open #41 is +not in this cut. + +### Added + +- **Pages / onboarding.** Custom layout. With vs without comparison. +- **README.** Scannable skill map. No uniqueness wall. +- **Class / migration.** llm-to-jev on-ramp. SemIf rename densify. NanoJev + unified-games densify. jcr lookup **does not execute**. +- **Measurement honesty.** Hysteresis is policy. Instruct-tuning ECE. + hop-ECE invariance. Harbor-jevals / Verdict / DecisionOps as themes. + Ranking ≠ calibration. Soft Noul ≠ hard gate. + +No invented metrics. No `pipeline()` install recipes. + +## Recipes + +Backend-agnostic. Problem → without Augustus → with Augustus → what to +measure. Numbers below are *shapes*, not new benches. Quote *theirs* on +the source card; do not treat this page as a leaderboard. + +### Encoder locate vs decide — GLiNER / GLiClass + +- **Problem.** A locate or categorize encoder is dropped in as if it were + a Choice/Score/Noul head. +- **Without.** Swap GLiNER for the decision model. Hard-gate spans or + label scores. Bake off against a chat LLM. +- **With.** Species map first (locate vs categorize vs safety-schema vs + decide). Extractive spans stay extractive. Remainder judgment is a + separate question. Soft scores ≠ hard gates. +- **Measure.** Span/F1 or assignment quality on the encoder task, + separately from ECE/Brier on the decision. Never quote a softmax or + span score as a calibrated Noul. + +### Open heads — Laya, SemIf, kev, Jeff-1 + +- **Problem.** Wire-compat, argmax agree, or a speedup is treated as a + replica of a calibrated decision model. +- **Without.** Drop-in swap. Ship the systems timing. Skip OOD. Treat + accuracy as calibration. +- **With.** Softmax over options ≠ calibrated Noul. Systems comparison ≠ + semantic equivalence. Replica honesty: name the head (open, constrained-AR, + encoder, specialist). Acc vs ECE. Fail polarity in code. +- **Measure.** Held-out ECE/Brier *and* accuracy/AUC. In-distribution vs + OOD. Do not promote a speedup (even a large one) as semantic + equivalence. + +### Gameplay specialist — NanoJev + +- **Problem.** Game success is treated as a calibrated Noul. +- **Without.** Quote a win rate as if it licensed a production gate. +- **With.** Specialist gameplay S1 / open replica, not TypeSafe Jev. Local + boolean ≠ TypeSafe noul. Soft scores ≠ hard gates. +- **Measure.** Held-out game metrics on one ledger. ECE/Brier on another. + Do not mix the two. + +### Prompt conversion — llm-to-jev + +- **Problem.** A decision-shaped LLM prompt is assumed to be an equivalent + Choice/Score/Noul. +- **Without.** Paste, convert, ship. Treat the compiler as a replica. +- **With.** Heuristic on-ramp, not an LLM and not a guarantee. Review the + generated Score rubric. Ordered criteria, not an arbitrary 0–1 range. + Prose stays with the LLM. Conversion ≠ calibrated Noul. +- **Measure.** Suitability / compatibility labels and human review of + generated criteria. Not "equivalent behavior." + +### Capability lookup — jcr + +- **Problem.** Finding a documented command is treated as permission to + run it. +- **Without.** The agent executes whatever the tree returned. +- **With.** One tool, nested capability tree, returns context, **does not + execute**. Routing ≠ permission. Docs ≠ authority to run. 0.6 band is + application policy. +- **Measure.** Lookup+explain only. Input/cost/wall-time deltas are not + Harbor task-execution. + +### Prompted JSON vs structured read — localjev + +- **Problem.** Parsed JSON from a generator is treated as a Noul. +- **Without.** Schema-valid output is taken as the picked-right + probability. +- **With.** Prompted JSON ≠ structured logit read. Wire-compat ≠ + logit-equiv. Schema-valid ≠ picked-right. +- **Measure.** Schema pass rate separately from calibration and from + "did code take the right effect." Entropy-as-confidence is not ECE. + +### Measurement honesty — hysteresis, ECE, Harbor + +- **Problem.** A single threshold, an equal-width ECE, or a schema-pass + is treated as Harbor. +- **Without.** 0.85 as a hard gate. Ranking as calibration. Silent + provider failure as a policy outcome. Instruct-tuned confidence as + honesty. +- **With.** Hysteresis `{enter, exit}` is policy attached to a + probability. Report equal-width *and* quantile ECE. hop-ECE must not + move under permutation (if it does, the instrument is the story). + DecisionOps: ACT / REVIEW / FALLBACK; a provider failure is **not** a + policy outcome. VERIFY needs discriminating evidence. +- **Measure.** Accuracy@0.5 vs ECE (they can disagree). Schema-pass vs + joint fields. Quality denominators include only valid scored answers. + +Homepage: https://24601.github.io/Augustus/ + +### Install + +```bash +claude plugin marketplace add 24601/Augustus +claude plugin install augustus@augustus +``` + +```bash +npx skills add 24601/Augustus --skill augustus +``` + +Full notes: [CHANGELOG.md](https://github.com/24601/Augustus/blob/main/CHANGELOG.md) diff --git a/research/README.md b/research/README.md index 8d6b9ed..04563f0 100644 --- a/research/README.md +++ b/research/README.md @@ -6,8 +6,8 @@ refreshes diff against a known baseline instead of re-discovering the world. - `sources.json` — every source pulled, with type + retrieval date + note. - `notes.md` — distilled findings (contracts, recipes, ecosystem, gaps). - `refresh-log.md` — dated log of each refresh pass and what changed. -- `changelog-hourly.md` — pre-0.4.0 uniqueness-lock dump (not release - notes; see root `CHANGELOG.md`). +- `changelog-hourly.md` — uniqueness-lock dump after v0.3.0 (not release + notes; see root `CHANGELOG.md` and `docs/release-notes-v0.5.0.md`). - `archive/hourly/YYYY-MM-DDTHH/` — raw scan dumps for that UTC hour (X theme digest + `topic:jev` JSON when a live scan lands). - `archive/curriculum/` — attached research briefs folded into the skill diff --git a/research/changelog-hourly.md b/research/changelog-hourly.md index b7aa0bb..8411fad 100644 --- a/research/changelog-hourly.md +++ b/research/changelog-hourly.md @@ -1,11 +1,9 @@ -# Hourly uniqueness dump (pre-0.4.0 + 0743 + 0843 + 0915 + 0920 jcr + 0922 SemIf) - -This is the pre-0.4.0 `CHANGELOG.md` after hourly folds (#2–#30 / notes -§44–§112) stuffed uniqueness locks into Keep-a-Changelog sections, plus -the merged **0743 HIGH** dump (PR #31 / notes.md §113 / items 273–288 -/ batch #96), **0843 HIGH** dump (PR #35 / notes.md §114 / items 289–302 -/ batch #97), and **0915 HIGH** dump (PR #36 / notes.md §115 / items -303–308 / batch #98). It is **not** release notes. +# Hourly uniqueness dump (pre-0.4.0 + 0743 + 0843 + 0915 + 0920 jcr + 0922 SemIf + 0940 llm-to-jev) + +This is the uniqueness-lock archive after hourly folds (#2–#40 / notes +§44–§118). It is **not** release notes. v0.5.0 Keep-a-Changelog lives in +[`CHANGELOG.md`](../CHANGELOG.md). Recipe cards: +[`docs/release-notes-v0.5.0.md`](../docs/release-notes-v0.5.0.md). - Release-facing notes: [`CHANGELOG.md`](../CHANGELOG.md) - Canonical folds: [`notes.md`](notes.md) From d28efa25bcbd4bd6dd317978a66029a8ddd8c483 Mon Sep 17 00:00:00 2001 From: Cursor Agent Date: Sun, 20 Sep 2026 16:47:54 +0000 Subject: [PATCH 2/2] Keep 0.5.0 honesty phrases on one line MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Make ranking ≠ calibration, soft Noul ≠ hard gate, and heuristic conversion ≠ calibrated Noul greppable in the notes without changing the meaning. Co-authored-by: Basit Mustafa <24601@users.noreply.github.com> --- CHANGELOG.md | 2 +- README.md | 2 +- docs/_includes/recipes.html | 2 +- docs/release-notes-v0.5.0.md | 3 ++- 4 files changed, 5 insertions(+), 4 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 8c6355c..535a705 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -55,7 +55,7 @@ release. Verbose hourly locks stay in success separately from ECE. - **llm-to-jev:** without — ship converted prompts as equivalent behavior. With — heuristic on-ramp; review Score rubric; prose stays - with the LLM. Conversion ≠ calibrated Noul. + with the LLM. heuristic conversion ≠ calibrated Noul. - **jcr:** without — run what the capability tree found. With — lookup returns context and **does not execute**. Routing ≠ permission; docs ≠ authority to run. diff --git a/README.md b/README.md index 3c82a14..9b07d8f 100644 --- a/README.md +++ b/README.md @@ -47,7 +47,7 @@ Class-wide, not a TypeSafe how-to. Full cards: - **Encoder (GLiNER / GLiClass).** Without: treat locate/categorize as a decision head and hard-gate spans. With: species map; remainder after extractive spans. Measure span quality separately from ECE. - **Open heads (Laya, SemIf, kev, Jeff-1).** Without: wire-compat or argmax agree as replica. With: softmax ≠ calibrated Noul; systems timing ≠ semantic equivalence. Measure ECE/Brier on held-out, not only speed. - **NanoJev.** Without: game wins as calibration. With: specialist gameplay S1; local boolean ≠ TypeSafe noul. Measure held-out game separately from ECE. -- **llm-to-jev.** Without: ship converted prompts as equivalent behavior. With: heuristic on-ramp; review the Score rubric. Conversion ≠ calibrated Noul. +- **llm-to-jev.** Without: ship converted prompts as equivalent behavior. With: heuristic on-ramp; review the Score rubric. heuristic conversion ≠ calibrated Noul. - **jcr.** Without: run what the tree found. With: lookup returns context; **does not execute**. Routing ≠ permission; docs ≠ authority to run. - **localjev / prompted JSON.** Without: parse generated JSON as a Noul. With: schema-valid ≠ picked-right. diff --git a/docs/_includes/recipes.html b/docs/_includes/recipes.html index 6b4b9da..602acf2 100644 --- a/docs/_includes/recipes.html +++ b/docs/_includes/recipes.html @@ -61,7 +61,7 @@

    llm-to-jev

    Without
    Paste, convert, ship.
    With
    -
    Heuristic on-ramp. Review the Score rubric. Prose stays with the LLM.
    +
    Heuristic on-ramp. Review the Score rubric. Prose stays with the LLM. heuristic conversion ≠ calibrated Noul.
    Measure
    Suitability labels and human review. Not equivalent behavior.
    diff --git a/docs/release-notes-v0.5.0.md b/docs/release-notes-v0.5.0.md index 58c77f0..fb436f7 100644 --- a/docs/release-notes-v0.5.0.md +++ b/docs/release-notes-v0.5.0.md @@ -26,9 +26,10 @@ not in this cut. unified-games densify. jcr lookup **does not execute**. - **Measurement honesty.** Hysteresis is policy. Instruct-tuning ECE. hop-ECE invariance. Harbor-jevals / Verdict / DecisionOps as themes. - Ranking ≠ calibration. Soft Noul ≠ hard gate. + ranking ≠ calibration. soft Noul ≠ hard gate. No invented metrics. No `pipeline()` install recipes. +heuristic conversion ≠ calibrated Noul. ## Recipes