Skip to content

Densify SemIf rename + MLX + accuracy ladder - #37

Merged
24601 merged 2 commits into
mainfrom
cursor/densify-semif-rename-mlx-ladder-1d85
Sep 20, 2026
Merged

24601 merged 2 commits into
mainfrom
cursor/densify-semif-rename-mlx-ladder-1d85

Conversation

@24601

@24601 24601 commented Sep 20, 2026

Copy link
Copy Markdown
Owner

Adversarial-review reconstruction of the SemIf densify onto latest main after merged #34 (Pages), merged #35 (hourly 0843 / §114), merged #36 (NanoJev / §115), and merged #38 (jcr / §116). Docs/skill only. invented_signal: false. Do not merge from this agent.

Hard rules

What landed

Not a first sighting. TheoLeeCJ/SemIf densify of rename + MLX + accuracy ladder (already in census / JevBench §78). Quote theirs.

Live REST (review relock this pass): MIT; homepage openjev.com; default master; 2282★ / 140 forks; size 9177; HEAD ca3ba65f1429 (Tolerate float roundoff in MLX evidence verification, 2026-09-19). README SHA 74ab7f7f. Pulse vs §113 2241★: +41. Pulse vs §114 2237★: +45. Cousin zhihz/openjev 19★. Prior 2275★ lock was live-REST drift and is relocked to 2282★.

  • SemIf IS formerly OpenJev; independent; not affiliated with Jev or TypeSafe.
  • Interface pattern reproduction with open models; does not reproduce Jev undisclosed model/training.
  • Direct option logits; 0 output tokens; shared-state parallel; MLX backend (--backend mlx) — backend, not a new species. Do not copy pip.
  • Speed theirs Qwen3.5-4B 3090: direct 1.023s vs AR JSON 5.332s (5.21×); argmax agree 18/21 — systems comparison ≠ semantic equivalence.
  • Parallel suffixes 20.03 dec/s on 777 decisions theirs.
  • Browser ladder theirs: authored BA 0.813, pert 0.766, TypeSafe subset 0.845 vs Published Jev 0.883 (102 across 20 cases).
  • Softmax over options ≠ calibrated Noul; wire/agreement ≠ replica of TypeSafe.
  • SemIf ≠ kw2828/OpenJev playground ≠ zhihz/openjev ≠ apiplant/semif-rs port ≠ dddanielliu/semif-serve.
  • Do not merge this ladder with §78 JevBench 74.6, or re-fold §69 semif-serve.

Overlays: SKILL YAML/protocol/mapping-index, mental-models Apply 0922, FAQ, uniqueness lock as one consecutive substring in 21 overlays, CHANGELOG Unreleased (lock dump in research/changelog-hourly.md). uniqueness_gate.py checks 0843 and 0915 and jcr and 0922 locks, §114+§115+§116+§117, items 289–316 and 330–336 (stolen 317–329 / §118).

Testing

python3 .agents/skills/augustus/scripts/evaluate_decisions.py --self-test
python3 .agents/skills/augustus/scripts/uniqueness_gate.py

Self-test ok. uniqueness-gate ok this pass (0843 chars=2415, 0915 chars=1132, jcr chars=1499, lock0922 chars=1292, overlays=21). SKILL.yaml parses. No live Jev key. No wrappers.

Adversarial self-review: rename is IS not a second census; 5.21× / 18/21 are systems not Harbor; 0.845 is subset agreement not ECE; MLX is a backend; cousins stay ≠; no install recipes; ID uniqueness vs merged #38 and open #40.

Not merged from this agent. Keep moving toward merge with review + the tests above.

Open in Web Open in Cursor 

cursor Bot pushed a commit that referenced this pull request Sep 20, 2026
Reconstruct PR #37 off latest main after merged #34/#35. Relock live REST
2264★ / zhihz 19★. Keep notes.md §117 / items 315–321 / batch #100; do not
steal merged #35 §114 or reserved §115–§116. Extend uniqueness_gate for the
0922 consecutive lock. Docs/skill only.

Co-authored-by: Basit Mustafa <24601@users.noreply.github.com>
@cursor
cursor Bot force-pushed the cursor/densify-semif-rename-mlx-ladder-1d85 branch from 092614a to d0c08d2 Compare September 20, 2026 15:49

@24601 24601 left a comment

Copy link
Copy Markdown
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Adversarial review + testing gate — PASS

Head d0c08d2b2d38b49e62428a01186baf32b9d21358. Base main 0189825 (merged #35 then #34). mergeable_state: clean. Draft false (ready). Do not merge from this agent.

Original head 092614a FAILed the gate: lock 2251★ vs live 2255+ (now 2264★), zhihz 18★ vs live 19★, and the PR went CONFLICTING after #34/#35 landed. Reconstructed onto current main on this branch and relocked.

Checklist

  1. No invented metrics / live REST drift — PASS. Live REST this review: TheoLeeCJ/SemIf 2264★ / 140 forks / size 9177 / HEAD ca3ba65f1429 (Tolerate float roundoff in MLX evidence verification) / README 74ab7f7f / LICENSE ca562883 / MIT / homepage openjev.com / default master. Cousins: kw2828 1★, zhihz 19★, semif-rs 0★, semif-serve 0★. Speed/ladder figures remain README/docs/MLX.md theirs (1.023s vs 5.332s 5.21×, 18/21, 20.03 dec/s, BA 0.813 / pert 0.766 / subset 0.845 vs Jev 0.883). Pulse vs §113 2241★ is +23; vs §114 2237★ is +27.
  2. Soft Noul never hard gate; Softmax ≠ Noul — PASS. Explicit in §117, Apply 0922, FAQ, YAML, protocol needles. No Noul-as-PR-gate.
  3. No silent fallback / soundness theater; systems≠semantic — PASS. 18/21 quoted as disagreement; 5.21× is systems not TypeSafe latency; 0.845 is subset agreement not ECE/Harbor. No silent fallback theater.
  4. Name collisions / rename honesty / namesakes — PASS. SemIf IS formerly OpenJev (densify, not a second census). ≠ kw2828/OpenJev playground ≠ zhihz/openjev ≠ apiplant/semif-rs ≠ dddanielliu/semif-serve. IamBusy/OpenJev REST resolve to OpenJev-Vision called out, not treated as a §69 deletion.
  5. Quotes theirs vs gloss — PASS. Metrics marked theirs; MLX line “typed output does not guarantee semantic correctness, and softmax scores are not calibrated confidence” is theirs. Hunches labeled. invented_signal: false.
  6. Section ID uniqueness — PASS. This fold is §117 / 315–321 / batch #100. Merged #35 keeps §114 / 289–302 / #97. Open #36 + jcr still own §115–§116 / 303–314 / #98–#99 (not present on this branch). uniqueness_gate fails if §115/§116 headings or items 303–314 appear.
  7. Diff docs/skill only; README scannable; SKILL YAML parses — PASS. 24 files, +602/−17: skill + references + uniqueness_gate.py + CHANGELOG/README/docs/research. No wrappers, no pip recipes. README still one-line-per-file plus lock list + Pages SVG. yaml.safe_load SKILL frontmatter ok (name augustus, version 0.4.0).
  8. TESTING — PASS.
    • evaluate_decisions.py --self-testself-test ok
    • uniqueness_gate.pyuniqueness-gate ok (lock0843 chars=2415, lock0922 chars=1280, overlays=21)
    • Pages CI Check Pages site / build: success on this head: https://github.com/24601/Augustus/actions/runs/35520771680
      Combined commit status is empty/pending (Scorecard is main-only); the required Pages check is green.

Verdict: PASS. Ready for human merge. Not merged here.

cursor Bot pushed a commit that referenced this pull request Sep 20, 2026
Reconstruct PR #37 after merged #36 (NanoJev §115 / 303–308). Keep
notes.md §117 / batch #100. Remap composition 315–321 → 330–336 so
open #38 jcr (309–316) and open #40 llm-to-jev (322–329) stay unique.
Relock live REST 2266★. Docs/skill only.

Co-authored-by: Basit Mustafa <24601@users.noreply.github.com>
@cursor
cursor Bot force-pushed the cursor/densify-semif-rename-mlx-ladder-1d85 branch from d0c08d2 to ca7a1cf Compare September 20, 2026 16:02
Reconstruct PR #37 onto merged #38 (jcr §116 / 309–316 / #99). Keep
§117 / items 330–336 / batch #100. Relock live REST 2275★. Softmax ≠
Noul; 5.21× is systems≠semantic. Do not merge from this agent.

Co-authored-by: Basit Mustafa <24601@users.noreply.github.com>
@cursor
cursor Bot force-pushed the cursor/densify-semif-rename-mlx-ladder-1d85 branch from ca7a1cf to 47a870a Compare September 20, 2026 16:12

@24601 24601 left a comment

Copy link
Copy Markdown
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

PASS (adversarial review + testing). Do not merge from this agent.

Head: 47a870a6d31c448ad29373a5414233b3a406eae7
Base: be9fe1c (merged #38 jcr)
Pages CI: success — https://github.com/24601/Augustus/actions/runs/35521989520/job/106107539981
mergeable: CLEAN / MERGEABLE. Draft: false.

Reconstruct / IDs

  • Merged #35 §114 / 289–302 / #97, #36 §115 / 303–308 / #98, #38 §116 / 309–316 / #99 are on main and kept.
  • This fold stays notes.md §117 / items 330–336 / batch #100 (not 315–321: jcr overran 315–316; open #40 took 322–329).
  • Open #39 hygiene (§114 unchanged). Open #40 §118 / 322–329 / #101 reserved (stolen 317–329 / §118).
  • Do not reopen #23#36/#38. Do not push onto #39/#40.

Live REST relock (FAIL-block 1)

TheoLeeCJ/SemIf: MIT; homepage openjev.com; default master; 2275★ / 140 forks; size 9177; HEAD ca3ba65f1429 (Tolerate float roundoff in MLX evidence verification, 2026-09-19). README SHA 74ab7f7f; LICENSE SHA ca562883. Prior 2266★ lock was drift; relocked to live 2275★ (+34 vs §113 2241; +38 vs §114 2237). Cousins: zhihz 19★, kw2828 1★, semif-rs 0★, semif-serve 0★.

FAIL-blocks

  1. Metrics theirs / no live-REST drift. 5.21× / 18/21 / 20.03 / BA 0.813 / subset 0.845 vs Jev 0.883 quoted from README SHA 74ab7f7f + docs/MLX.md SHA e1d81a75. Stars match live 2275.
  2. Soft Noul never hard-gate. Softmax-over-options ≠ calibrated Noul. 0.813/0.845/0.883 are sensors, not merge gates.
  3. No silent fallback / soundness theater. 5.21× and 18/21 are systems comparison ≠ semantic equivalence. Wire/agreement ≠ TypeSafe replica. JevBench 74.6 stays §78.
  4. Rename honesty / collisions. SemIf IS formerly OpenJev (densify, not a second census). ≠ kw2828/zhihz/semif-rs/semif-serve. MLX is a backend, not a species.
  5. Quotes theirs vs gloss. README/MLX numbers marked theirs. Hunches labeled. invented_signal: false.
  6. Section ID uniqueness. §114+§115+§116 kept; this fold §117 / 330–336 / #100; §118 / 317–329 stolen.
  7. Diff docs/skill only (24 files, +552/−12). README scannable. SKILL YAML parses (name: augustus, 0.4.0).
  8. Gates green. uniqueness_gate.py ok (0843=2415, 0915=1132, jcr=1499, 0922=1292, overlays=21). evaluate_decisions.py --self-test ok. Pages build success on this SHA.

No pip/install recipes. No wrappers. Skip Archer. Softmax ≠ Noul.

Ready for human merge. Not merged from this agent.

Stars drifted past the 2275 lock during review. Keep IDs §117 /
330–336 / #100 on main after merged #36 and #38. Do not merge.

Co-authored-by: Basit Mustafa <24601@users.noreply.github.com>

@24601 24601 left a comment

Copy link
Copy Markdown
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

PASS (adversarial review + testing). Do not merge from this agent.

Head: fbe0ba5ed3a1c600ca83018ff090224d4bc1b0ea
Base: be9fe1c (merged #38 jcr already on this branch — no further rebase)
Pages CI: success — https://github.com/24601/Augustus/actions/runs/35522160315/job/106107986360
mergeable: CLEAN. Draft: false.

IDs (this FYI)

  • Merged #38 owns §116 / 309–316 / #99 (kept on main).
  • This fold is notes.md §117 / items 330–336 / batch #100 — not 315–321.
  • Merged #35 §114 / 289–302 / #97; merged #36 §115 / 303–308 / #98 kept.
  • Open #40 §118 / 322–329 / #101 reserved (stolen 317–329 / §118).
  • Open #41 (hourly 0947) still claims §116 / 309–324 / #99 against merged #38 (mergeable_state: dirty). No collision with 330–336. Do not push onto #39/#40/#41.

Live REST (FAIL-block 1)

TheoLeeCJ/SemIf: MIT; homepage openjev.com; default master; 2282★ / 140 forks; size 9177; HEAD ca3ba65f1429. README SHA 74ab7f7f. Matches lock this pass (2275 was drift; relocked). Pulse vs §113 2241: +41; vs §114 2237: +45.

FAIL-blocks

  1. Metrics theirs / live REST matches 2282. 5.21× / 18/21 / 20.03 / BA 0.813 / subset 0.845 vs Jev 0.883 from README SHA 74ab7f7f.
  2. Softmax-over-options ≠ calibrated Noul. Soft Noul never a hard gate.
  3. 5.21× and 18/21 are systems comparison ≠ semantic equivalence. JevBench 74.6 stays §78.
  4. SemIf IS formerly OpenJev (densify). ≠ kw2828/zhihz/semif-rs/semif-serve. MLX is a backend.
  5. Quotes theirs vs gloss. invented_signal: false.
  6. ID uniqueness vs merged #35/#36/#38 and open #40/#41: this fold stays 330–336 / §117.
  7. Diff docs/skill only (24 files). README scannable. SKILL YAML parses (0.4.0).
  8. Gates: uniqueness_gate.py ok (0843=2415, 0915=1132, jcr=1499, 0922=1292, overlays=21). --self-test ok. Pages build success on this SHA.

Ready for human merge. Not merged from this agent.

@24601
24601 merged commit 501ba28 into main Sep 20, 2026
1 check passed
@24601
24601 deleted the cursor/densify-semif-rename-mlx-ladder-1d85 branch September 20, 2026 16:17
cursor Bot pushed a commit that referenced this pull request Sep 20, 2026
…ogs and RLCD heads

Rebased onto latest main. Remapped IDs past merged #38 jcr and SemIf
batch #102. uniqueness_gate checks 0843 + 0915 + jcr + 0947 (and
SemIf after keep-both onto #37). Evaluator locks the candidate_mass
renormalization trap. Do not reopen #23#38. Do not push onto
open #37/#39/#40. Quote theirs; invented_signal false. Skip Archer.
Does not bump 0.4.0.

Co-authored-by: Basit Mustafa <24601@users.noreply.github.com>
cursor Bot pushed a commit that referenced this pull request Sep 20, 2026
…ogs and RLCD heads

Rebased onto latest main (501ba28 / merged #37 SemIf after be9fe1c / #38 jcr).
Remapped IDs past merged #38/#37 and open #40: notes.md §119 / composition
337–352 / findings batch #102. uniqueness_gate checks 0843 + 0915 + jcr +
0922 + 0947. Evaluator locks the candidate_mass renormalization trap.
Do not reopen #23#38. Do not push onto open #39/#40. Quote theirs;
invented_signal false. Skip Archer. Does not bump 0.4.0.

Co-authored-by: Basit Mustafa <24601@users.noreply.github.com>
cursor Bot pushed a commit that referenced this pull request Sep 20, 2026
…ogs and RLCD heads

Rebased onto latest main (9824aa2 / merged #40 llm-to-jev after 501ba28 / #37
SemIf after be9fe1c / #38 jcr). Remapped IDs past merged #38/#37/#40:
notes.md §119 / composition 337–352 / findings batch #102.
uniqueness_gate checks 0843 + 0915 + jcr + 0922 + 0940 + 0947.
Evaluator locks the candidate_mass renormalization trap.
Do not reopen #23#40. Do not push onto open #39. Quote theirs;
invented_signal false. Skip Archer. Does not bump 0.4.0.

Co-authored-by: Basit Mustafa <24601@users.noreply.github.com>
cursor Bot pushed a commit that referenced this pull request Sep 20, 2026
…CE interleave

Rebased onto latest main after merged #36/#38/#37/#40 (9824aa2).
Do not reopen or amend #23#40. Do not push onto open #41.

Follow-up off main: ecosystem 0843 cited notes.md §113; README and
CHANGELOG Unreleased still held dump walls; the 0843 lock ended at
#33. Restore v0.4.0 scannability (dumps live in changelog-hourly).
Extend the 0843 uniqueness lock through merged #34 and #35. Hop-ECE
self-test covers reverse and even/odd interleave. uniqueness_gate
checks Pages strings and refuses CHANGELOG/README dump walls.

IDs unchanged: notes.md §114 / composition 289–302 / findings batch #97.
Merged #31 still owns §113 / 273–288 / #96. Later folds keep §115–§118.

Co-authored-by: Basit Mustafa <24601@users.noreply.github.com>
24601 added a commit that referenced this pull request Sep 20, 2026
…CE interleave (#39)

Rebased onto latest main after merged #36/#38/#37/#40 (9824aa2).
Do not reopen or amend #23#40. Do not push onto open #41.

Follow-up off main: ecosystem 0843 cited notes.md §113; README and
CHANGELOG Unreleased still held dump walls; the 0843 lock ended at
#33. Restore v0.4.0 scannability (dumps live in changelog-hourly).
Extend the 0843 uniqueness lock through merged #34 and #35. Hop-ECE
self-test covers reverse and even/odd interleave. uniqueness_gate
checks Pages strings and refuses CHANGELOG/README dump walls.

IDs unchanged: notes.md §114 / composition 289–302 / findings batch #97.
Merged #31 still owns §113 / 273–288 / #96. Later folds keep §115–§118.

Co-authored-by: Cursor Agent <cursoragent@cursor.com>
Co-authored-by: Basit Mustafa <24601@users.noreply.github.com>
cursor Bot pushed a commit that referenced this pull request Sep 20, 2026
…ogs and RLCD heads

Rebased onto latest main (9824aa2 / merged #40 llm-to-jev after 501ba28 / #37
SemIf after be9fe1c / #38 jcr). Remapped IDs past merged #38/#37/#40:
notes.md §119 / composition 337–352 / findings batch #102.
uniqueness_gate checks 0843 + 0915 + jcr + 0922 + 0940 + 0947.
Evaluator locks the candidate_mass renormalization trap.
Do not reopen #23#40. Do not push onto open #39. Quote theirs;
invented_signal false. Skip Archer. Does not bump 0.4.0.

Co-authored-by: Basit Mustafa <24601@users.noreply.github.com>
cursor Bot pushed a commit that referenced this pull request Sep 20, 2026
…ogs and RLCD heads

Rebased onto latest main (9824aa2 / merged #40 llm-to-jev after 501ba28 / #37
SemIf after be9fe1c / #38 jcr). Remapped IDs past merged #38/#37/#40:
notes.md §119 / composition 337–352 / findings batch #102.
uniqueness_gate checks 0843 + 0915 + jcr + 0922 + 0940 + 0947.
Evaluator locks the candidate_mass renormalization trap.
Do not reopen #23#40. Do not push onto open #39. Quote theirs;
invented_signal false. Skip Archer. Does not bump 0.4.0.

Co-authored-by: Basit Mustafa <24601@users.noreply.github.com>
24601 added a commit that referenced this pull request Sep 20, 2026
…ogs and RLCD heads (#41)

Rebased onto latest main (9824aa2 / merged #40 llm-to-jev after 501ba28 / #37
SemIf after be9fe1c / #38 jcr). Remapped IDs past merged #38/#37/#40:
notes.md §119 / composition 337–352 / findings batch #102.
uniqueness_gate checks 0843 + 0915 + jcr + 0922 + 0940 + 0947.
Evaluator locks the candidate_mass renormalization trap.
Do not reopen #23#40. Do not push onto open #39. Quote theirs;
invented_signal false. Skip Archer. Does not bump 0.4.0.

Co-authored-by: Cursor Agent <cursoragent@cursor.com>
Co-authored-by: Basit Mustafa <24601@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants