ogar-loco: PROBE-ORACLE-FUNNEL Stage 0 — 3-arm funnel probe, measured - #245
Merged
Conversation
Deterministic (SplitMix64, N=1000/arm) probe over the shipped gates (validate -> statement_bounds -> FunnelTally) on the empty-domain blockly core. Pre-registered E1-E4 (lance-graph oracle-funnel-probe-v1.md) all met: floor 0.5% / legend-constrained 2.5% / stack-aware 100% survival. The funnel discriminates (spread 99.5 pts); the legend alone is nearly worthless without the stack discipline — a Stage-1 prompt-design input. Legend cost anchor: 50 slots, 1531 B (~382 tokens). Results appended to docs/BLOCK-EDITOR-PLAN.md.
Bugbot couldn't run - usage limit reachedBugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit. A user or team admin can review and increase usage limits in the Cursor dashboard. (requestId: serverGenReqId_b48c411e-94fb-4987-979a-f14acd8bcf19) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
PROBE-ORACLE-FUNNEL Stage 0 — does the funnel discriminate? (measured: yes, widely)
First consumer measurement over the #241/#244 surfaces, exactly as the merged wishlist handover sketched. No mints, no LLM, no API — deterministic generator arms over the shipped gates.
What this adds
crates/ogar-loco/examples/funnel_probe.rs— 3-arm probe (SplitMix64 seed0x9E3779B97F4A7C15, N=1000/arm,Pairs, len 1..=16): R uniform-random bytes (floor), G legend-constrained (knows the table, not the grammar), W stack-aware walk (ceiling). Each candidate:FunctionBody::from_calls→statement_bounds→FunnelTally.docs/BLOCK-EDITOR-PLAN.md— measured-results section appended.Results (pre-registered E1–E4 all met; pre-registration lives consumer-side in lance-graph
.claude/plans/oracle-funnel-probe-v1.md, written before the run)StatementUncovered831StatementUnderflow970BodyError(entry gate) structurally unexercised at these shapes; Stage 0 measures the segmentation gate only.Gates:
cargo test -p ogar-locogreen,cargo clippy -p ogar-loco --examples -- -D warningsclean, fmt clean. Zero-dep discipline kept (SplitMix64 hand-rolled).