Add constrained autoregressive surface realizer (VSS3-05, SLM-73)#352
Conversation
|
The latest updates on your projects. Learn more about Vercel for GitHub.
|
|
Warning Review limit reached
Next review available in: 48 minutes Enable usage-based reviews in Billing to review now. Otherwise, wait until the next included review is available. How can I continue?After more reviews become available, a review can be triggered using the To avoid repeated limits, reduce automatic review volume by pausing incremental auto-reviews earlier, using label-based review opt-in, excluding WIP or generated PR titles, or requesting reviews manually when the PR is ready. If your team needs uninterrupted high-volume reviews, an organization admin can enable usage-based reviews. How do review limits work?CodeRabbit enforces per-developer PR review limits for each organization. Most developers receive the normal plan review availability. For paid Pro and Pro+ PR reviews, CodeRabbit uses adaptive limits for sustained high-volume activity. When a developer's recent PR review activity reaches the 95th percentile or higher among CodeRabbit users, additional reviews become available more gradually as earlier reviews age out of the rolling window. Please refer docs for additional details. Review details⚙️ Run configurationConfiguration used: defaults Review profile: CHILL Plan: Pro Plus Run ID: 📒 Files selected for processing (10)
✨ Finishing Touches🧪 Generate unit tests (beta)
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. Comment |
c88a060 to
c6866ab
Compare
A learned surface realizer that autoregressively fills VSS3-04 surface slots under hard constraints, always deferring to the deterministic realizer + verifier: any dead-end or unverifiable candidate falls back to the canonical deterministic name, and every emitted identifier is re-verified. The learned model only proposes; it never has authority over membership or certification. - models/surface_autoregressor.py: constrained byte-level AR model. - dsl/neural_surface_realizer.py: bridges the model to VSS3-04's realize_surface_and_verify seam; torch imported lazily so the torch-free fallback path imports without torch. - data/progspec/surface_rows.py: derives surface-realization training rows via resolve_surface_slot_extractor (main's pack_id registry, not a pack attribute — the latter would emit zero records). - schema.py: "surface_realization" task token; model_build/config.py adds 7 default-off AR fields (old configs load unchanged). - Tests: torch-free realizer/rows logic runs; torch model paths use importorskip and run in CI. Wiring/mechanism increment — deterministic realization stays the default; no model trained, no ship claim, no gate touched. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_017NWyjZwGMUPHXZhtqQVzUJ
78ab853 to
d88f535
Compare
VSS3-05 (SLM-73): constrained autoregressive surface realizer
A learned surface realizer that autoregressively fills VSS3-04 surface slots under hard constraints, always deferring to the deterministic realizer + verifier. Any dead-end or unverifiable candidate falls back to the canonical deterministic name; every emitted identifier is re-verified. The learned model only proposes — it never has authority over membership or certification.
What's here (10 files, +1499/−0 additive, on current
main)models/surface_autoregressor.py— constrained byte-level AR model.dsl/neural_surface_realizer.py— bridges the model to VSS3-04'srealize_surface_and_verifyseam; torch imported lazily (mirrorsmodels/grammar.py) so the torch-free fallback path imports without torch.data/progspec/surface_rows.py— derives surface-realization training rows viaresolve_surface_slot_extractor(main'spack_idregistry). Fixes a latent bug in the source branch, which usedgetattr(pack, "surface_slot_extractor", None)— alwaysNoneon main → would have emitted zero rows.dsl/schema.py—"surface_realization"task token;harnesses/model_build/config.py— 7 default-off AR fields (old configs load unchanged).verified-scope-solver.md.New torch tests were relocated into their own files so main's canonical VSS3-04 test files stay untouched / torch-free.
Verification
main): new VSS3-05 torch-free logic 7 passed / 4 skipped + VSS3-04 no-regression 22 passed;ruff/repo_policy/diff-check/compileallclean. No-new-breakage vs clean main (identical pre-existing env failures, +7 new passing).surface_autoregressor+ 2 realizer/rows cases) usepytest.importorskip("torch")and run in CI.Honesty
Wiring/mechanism increment — deterministic realization stays the default; no model trained, no checkpoint, no ship claim, no gate touched.
🤖 Generated with Claude Code