Repository navigation
Frontier status vocabulary: execution_measurement axes at pinned head - #7776
Merged
Merged
Conversation
Introduce execution_measurement vs no_execution_measurement language with dated census at 9f978aa (self_emit_ready=0, emitter_produced=0) and state that receipts from different heads cannot be combined. Co-authored-by: Cursor <cursoragent@cursor.com>
gunbai-bot
Bot
changed the title
Merged
3 of 4 tasks
Cite the transport-aligned one-shot frontier_probe_survey invocation (survey_manifest_emit_args) with per-module script OOM fallback so the authority note is runnable between cargo build and claim_batch. Co-authored-by: Cursor <cursoragent@cursor.com>
Contributor
|
review 47929 (REQUEST_CHANGES): fixed in 45bf502. The regression was real — steps (2)/(3) had become constraints without a runnable command. Restored step (2) to the transport-aligned one-shot from
…with — sent from sleek-pike-668 |
Step (1) now passes --release to match target/release/frontier_probe_survey and witness_bin_build_args in frontier_probe_survey_transport. Co-authored-by: Cursor <cursoragent@cursor.com>
Contributor
|
review 47934 (REQUEST_CHANGES): fixed. Valid catch — step (1) was debug-only while step (2) invoked — sent from sleek-pike-668 |
|
Bugbot is not enabled for your account, so this pull request was not reviewed. Enable Bugbot in the Cursor dashboard to get automatic reviews on future PRs. |
Operator ruling: operational recipe changes belong in #7763, not the vocabulary-only PR. Keep execution_measurement dissolve_on wording. Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls
added a commit
that referenced
this pull request
Aug 6, 2026
…ative run on hold) (#7763) * WIP: Lane 1: exact-current-head 27/27 frontier survey + status vocabulary cor * WIP: Lane 1: exact-current-head 27/27 frontier survey + status vocabulary cor * Lane 1: pin source_head and binary identity in survey manifest emission. frontier_probe_survey records git HEAD, binary sha256, and source_root in host_frontier_probe_survey_manifest; fix per-module script to use release binary. Co-authored-by: Cursor <cursoragent@cursor.com> * Document frontier survey hold on #7762 and silent-narrow refusal wall. Replace remaining surveyed/open wording with execution_measurement axes, add dated census at 9f978aa, and state that 27/27 rerun waits for the probe fix so manifests do not enshrine manifest-elision artifacts. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: Lane 1: exact-current-head 27/27 frontier survey + status vocabulary cor * Close three FrontierSurveySubject provenance holes (#7763). Bind commit↔tree via git.Inspect.ShowTree in well-formed checks, embed build commit/tree in the survey binary and refuse stale executables, and require every TSV shard to carry the complete subject with aggregation refusing mismatch. Block 27/27 on #7762 final + #7767; land release one-shot recipe in ci_layer_roots exclusion note. Co-authored-by: Cursor <cursoragent@cursor.com> * Fix CI: drop unavailable trim import in frontier_probe_types. git_object_id_from_untagged_hex already trims plumbing stdout; the frontier_survey_git_stdout_line wrapper imported trim from v2.std.text where it does not exist. Co-authored-by: Cursor <cursoragent@cursor.com> * Document four-PR chain and provenance hole requirements (#7763). Operator ruling: last of #7776 → #7762 → #7767 → survey; three provenance holes remain open; every shard must carry complete FrontierSurveySubject with all 27 comparing exactly equal. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: Lane 1: exact-current-head 27/27 frontier survey + status vocabulary cor * Close survey provenance findings 1–3 from operator review msg_e0b0c3ff. Carry probe_policy_revision on every TSV row and emit the measured literal in manifests; refuse dirty-worktree builds via BUILD_DIRTY; validate policy revision as structural ContentHash instead of tautological constant compare; document seed-only per-row subject enforcement on the carrier. Co-authored-by: Cursor <cursoragent@cursor.com> * Fix parse error in frontier_survey_probe_policy_revision_holds. Variant patterns bind positionally (Fnv1a64(structural)), not with typed field labels — the Colon form caused regen and heal_generated_artifacts to panic. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: Lane 1: exact-current-head 27/27 frontier survey + status vocabulary cor * Fix ProbeReceiptRow detail field after main merge. TSV loader rows default to FrontierProbeDetailAbsent to match main's receipt shape; fmt import order. Co-authored-by: Cursor <cursoragent@cursor.com> * Document CI non-enrollment for terminating long/ survey witnesses. Per-PR discovery omits src/v2/test/claim/long; offline local-recipe RED on stub manifest is not a CI failure shape. Co-authored-by: Cursor <cursoragent@cursor.com> * Fix policy-revision oracle and align transport source roots. Compare manifest probe_policy_revision against frontier_probe_policy_revision() instead of reusing the source-roots digest shape check. Add --source-root dag to survey_manifest_emit_args so the transport one-shot matches the shell recipe. Co-authored-by: Cursor <cursoragent@cursor.com> * Drop unused content_hash imports after policy-revision fix. Co-authored-by: Cursor <cursoragent@cursor.com> * Remove stale NFR row after policy-revision check rewrite. frontier_survey_probe_policy_revision_holds no longer wildcard-matches a coproduct parameter after switching to compare_content_hash; the roster row made non_fold_residue_stale_roster_count nonzero on CI. Co-authored-by: Cursor <cursoragent@cursor.com> * Address review 48957 scaffold notes and build stamp freshness. Mark Rust digest helpers as seed duplicates with emit dissolve triggers, rerun build.rs when survey bin sources change, and document src/v2-only versus dag+src/v2 source-root non-combinability at 9f978aa. Co-authored-by: Cursor <cursoragent@cursor.com> * Fix survey script failure guard to compare the failures variable. Use [[ failures -ne 0 ]] so probe failures refuse manifest promotion. Co-authored-by: Cursor <cursoragent@cursor.com> * Docs: predecessors merged; authoritative survey still on operator hold. Refresh closeout, provenance-holes, and offline-recipe notes after #7776, Co-authored-by: Cursor <cursoragent@cursor.com> #7762, and #7767 landed; document OOM-shell TSV projection limits post-#7767. --------- Co-authored-by: Brian Searls <briansearls1@gmail.com> Co-authored-by: Cursor <cursoragent@cursor.com>
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
1 participant
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.
Summary
Operator-approved vocabulary split from draft #7763. Replaces misleading "17 closed / 10 open" / "surveyed" language with four orthogonal axes, each reported beside its measurement head:
mint_emitter_produced_frontier_promotiononly; the direct door may reach SourceProduced, CargoGreen, and BehavioralEquivalent without any frontier row becoming EmitterProduced)Adds dated census at
9f978aa8dfand states receipts from different heads cannot be combined.Independent of the exact-head survey rerun (draft #7763, blocked on #7762 + #7767 after this merges).
Test plan
.dagcarriers