Skip to content

Bank subject-bound CI-floor evidence and settle admission, native execution, and job-wall attribution - #7785

Closed
gunbai-bot[bot] wants to merge 31 commits into
mainfrom
session/lively-crab-41-pr2-floor-receipts
Closed

gunbai-bot[bot] wants to merge 31 commits into
mainfrom
session/lively-crab-41-pr2-floor-receipts

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Aug 4, 2026 •

Copy link
Copy Markdown
Contributor

Summary

Closeout for CI-cost PR2 (#7785): bank a dated settlement from Actions run 30987560453 (attempt 30987560453-1-ci), persist attempt-scoped floor population evidence, and remove the duplicate compiler test-profile build via v1-floor-evidence.

This PR closes accounting, not every mechanism:

Claim Standing
Admission Delivered — execution=ExecutedAndAdmitted, cost=Improved (118424ms vs 197130ms; recovered 78706ms)
Native fleet NotDelivered — selected=3, native=0, interpreted=3, fallback=3, unavailable=3; fallback:native_realization_refused; planted_red_equivalent=false
Warm hit Open — CrossProcessExecutionReceiptAbsent (same-process control is not two-process proof)
Job-wall attribution Reconciled — exclusive Actions steps classify 2836000/2840000 ms (~99.85%)

Bounded closeout (this tip)

  • Renamed banked subject to banked_run_30987560453_* — not the moving PR head (re-banking tip digests into source cannot terminate).
  • Single subject authority: LocalCiEvidenceSubject + UploadedEvidenceBinding (no duplicated flat coordinates).
  • BankedExclusiveElapsed fields are Millisecond, not *_ms: Nat.
  • Admission totalized via AdmissionExecutionStanding × AdmissionCostStanding; native Delivered requires full transition fields (interpreted/unavailable/verdict/planted_red).
  • Immutable one-time harvest pack: docs/plans/receipts/ci-floor-settlement-30987560453/.

Explicitly out of scope

  • Recurring Actions+artifact harvester (operational follow-up; external per-run settlement artifact).
  • Two-process warm-hit control (materialization follow-up).

Test plan

  • Settlement witnesses (admission/native/warm-hit/exclusive reconcile) — local claim_batch
  • cargo fmt --all --check on push
  • Final-head CI: build, regen, heal, floor-evidence controls, floor, finalization, upload
  • Two exact-head approvals after green

@gunbai-bot

gunbai-bot Bot commented Aug 4, 2026

Copy link
Copy Markdown
Contributor Author

Addressed review 47960 (composer-2.5 REQUEST_CHANGES):

  • admission_settle_from_stage_walls now takes Millisecond for capture, stage1, stage2, and cold_baseline (no bare Nat duration fields).
  • Net comparison uses measure_add + millisecond_count, consistent with PopulationObservation.wall / harvested_subject_a_ci_job_wall.
  • Callers and admission witnesses updated; delivered / not-delivered / missing-stages controls re-executed green.

@gunbai-bot

gunbai-bot Bot commented Aug 4, 2026

Copy link
Copy Markdown
Contributor Author

Addressed review 47965 (composer-2.5 REQUEST_CHANGES) in 23aaaabc3bd:

  • partition_attribution_basis_points(assigned: Millisecond, ci_job: Millisecond) and partition_meets_ninety_five_percent — bare Nat duration params removed; arithmetic via millisecond_count internally.
  • partition_assigned_wall / harvested_subject_a_assigned_wall return Millisecond so the attribution boundary stays Measure end-to-end (same pattern as admission_settle_from_stage_walls after review 47960).
  • Attribution + 95%-RED witnesses re-executed green.

@gunbai-bot
gunbai-bot Bot marked this pull request as draft August 4, 2026 04:51
@gunbai-bot

gunbai-bot Bot commented Aug 4, 2026

Copy link
Copy Markdown
Contributor Author

Returning to draft per operator review (REQUEST CHANGES — finish second half in #7785).

Agreed: current head is instrumentation/schema, not settlement. Completion sequence in this PR:

  1. Evidence identity + always-present manifest + exact receipt registry + falsifier persistence path
  2. Non-overlapping reconciliation (hierarchy; refuse over-attribution / mixed subjects / duplicates; unattributed excluded from numerator)
  3. Total mechanism settlements (admission exec+cost; full native transition; cross-process warm-hit execution receipt)
  4. Real artifact harvest on affected + full-corpus subjects → Delivered|NotDelivered; ≥95% or named residual

PR 3 stays frozen until this bar closes.

@gunbai-bot gunbai-bot Bot changed the title Persist and reconcile every CI-floor population receipt; settle admission, native execution, and materialization DRAFT: Persist CI-floor population evidence identity + reconcile toward settlement (PR2 incomplete) Aug 4, 2026
@gunbai-bot

gunbai-bot Bot commented Aug 4, 2026

Copy link
Copy Markdown
Contributor Author

Commit 1 landed (evidence identity + manifest + registry + falsifier path):

  • gunbc.ci_floor_population_receipt_registry — CiEvidenceSubject, exact receipt roster (settlement + cost/worker/attempt paths), derived upload paths
  • Always-run ci_floor_population_receipt_manifest_step writes target/floor-population-receipt-manifest.tsv; upload uses if-no-files-found: error (manifest guaranteed)
  • Same manifest + population upload on falsifier (shared steps from ci_workflow)
  • Regenerated ci.yml / falsifier.yml

Still draft. Remaining in #7785: (2) non-overlapping reconciliation hierarchy, (3) total mechanism settlements + real cross-process warm-hit, (4) artifact harvest → Delivered|NotDelivered.

gunbai-bot Bot pushed a commit that referenced this pull request Aug 4, 2026
…anifest

Exact path roster replaces the multiline upload literal; always-run
manifest makes if-no-files-found:error sound; the same persistence path
lands on falsifier. CiEvidenceSubject is the identity carrier for later
harvest folds (commit 1 of #7785 completion).

Co-authored-by: Cursor <cursoragent@cursor.com>
@gunbai-bot

gunbai-bot Bot commented Aug 4, 2026

Copy link
Copy Markdown
Contributor Author

Commit 2 landed (non-overlapping reconciliation):

  • PopulationReconciliation total verdict: Reconciled | InsufficientAttribution | MissingRequiredObservation | MixedSubjects | DuplicatePopulation | OverAttributed
  • Classified wall sums exclusive elapsed populations only; nested resolve/eval/assembly are diagnostics and do not enter the numerator
  • Laws: classified <= job; unattributed = job - classified; bar requires unattributed ≤ 5%
  • REDs: over-attribution refuses; remainder-inflate would false-green if summed — exclusive path stays InsufficientAttribution
  • Subject A: MissingRequiredObservation (no exclusive GHA/batch walls harvested yet)

Still draft. Remaining: (3) total mechanism settlements + cross-process warm-hit execution receipt; (4) real artifact harvest.

gunbai-bot Bot pushed a commit that referenced this pull request Aug 4, 2026
…anifest

Exact path roster replaces the multiline upload literal; always-run
manifest makes if-no-files-found:error sound; the same persistence path
lands on falsifier. CiEvidenceSubject is the identity carrier for later
harvest folds (commit 1 of #7785 completion).

Co-authored-by: Cursor <cursoragent@cursor.com>
@gunbai-bot
gunbai-bot Bot force-pushed the session/lively-crab-41-pr2-floor-receipts branch from db64d09 to 63d1ee1 Compare August 4, 2026 13:57
gunbai-bot Bot pushed a commit that referenced this pull request Aug 4, 2026
Upload the exact attempt root via GITHUB_OUTPUT, drop the broken journal
alias, bind Rust rows to the committed .dag fingerprint wire, fail-close
required evidence writes, use per-receipt observation fragments, hash an
honest manifest body digest, and run floor_evidence native controls in
required CI.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbai-bot Bot pushed a commit that referenced this pull request Aug 5, 2026
…anifest

Exact path roster replaces the multiline upload literal; always-run
manifest makes if-no-files-found:error sound; the same persistence path
lands on falsifier. CiEvidenceSubject is the identity carrier for later
harvest folds (commit 1 of #7785 completion).

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbai-bot Bot pushed a commit that referenced this pull request Aug 5, 2026
Upload the exact attempt root via GITHUB_OUTPUT, drop the broken journal
alias, bind Rust rows to the committed .dag fingerprint wire, fail-close
required evidence writes, use per-receipt observation fragments, hash an
honest manifest body digest, and run floor_evidence native controls in
required CI.

Co-authored-by: Cursor <cursoragent@cursor.com>
@gunbai-bot
gunbai-bot Bot force-pushed the session/lively-crab-41-pr2-floor-receipts branch from ec98b12 to 43f23da Compare August 5, 2026 00:33
gunbai-bot Bot pushed a commit that referenced this pull request Aug 5, 2026
…anifest

Exact path roster replaces the multiline upload literal; always-run
manifest makes if-no-files-found:error sound; the same persistence path
lands on falsifier. CiEvidenceSubject is the identity carrier for later
harvest folds (commit 1 of #7785 completion).

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbai-bot Bot pushed a commit that referenced this pull request Aug 5, 2026
Upload the exact attempt root via GITHUB_OUTPUT, drop the broken journal
alias, bind Rust rows to the committed .dag fingerprint wire, fail-close
required evidence writes, use per-receipt observation fragments, hash an
honest manifest body digest, and run floor_evidence native controls in
required CI.

Co-authored-by: Cursor <cursoragent@cursor.com>
@gunbai-bot
gunbai-bot Bot force-pushed the session/lively-crab-41-pr2-floor-receipts branch from ad0af49 to a532376 Compare August 5, 2026 03:24
gunbai-bot Bot pushed a commit that referenced this pull request Aug 5, 2026
…anifest

Exact path roster replaces the multiline upload literal; always-run
manifest makes if-no-files-found:error sound; the same persistence path
lands on falsifier. CiEvidenceSubject is the identity carrier for later
harvest folds (commit 1 of #7785 completion).

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbai-bot Bot pushed a commit that referenced this pull request Aug 5, 2026
Upload the exact attempt root via GITHUB_OUTPUT, drop the broken journal
alias, bind Rust rows to the committed .dag fingerprint wire, fail-close
required evidence writes, use per-receipt observation fragments, hash an
honest manifest body digest, and run floor_evidence native controls in
required CI.

Co-authored-by: Cursor <cursoragent@cursor.com>
@gunbai-bot
gunbai-bot Bot force-pushed the session/lively-crab-41-pr2-floor-receipts branch from cbc2f06 to 2475f9f Compare August 5, 2026 04:02
gunbai-bot Bot pushed a commit that referenced this pull request Aug 5, 2026
…anifest

Exact path roster replaces the multiline upload literal; always-run
manifest makes if-no-files-found:error sound; the same persistence path
lands on falsifier. CiEvidenceSubject is the identity carrier for later
harvest folds (commit 1 of #7785 completion).

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbai-bot Bot pushed a commit that referenced this pull request Aug 5, 2026
Upload the exact attempt root via GITHUB_OUTPUT, drop the broken journal
alias, bind Rust rows to the committed .dag fingerprint wire, fail-close
required evidence writes, use per-receipt observation fragments, hash an
honest manifest body digest, and run floor_evidence native controls in
required CI.

Co-authored-by: Cursor <cursoragent@cursor.com>
@gunbai-bot
gunbai-bot Bot force-pushed the session/lively-crab-41-pr2-floor-receipts branch from fcc23d3 to 1c7608d Compare August 5, 2026 04:35
gunbai-bot Bot pushed a commit that referenced this pull request Aug 5, 2026
…anifest

Exact path roster replaces the multiline upload literal; always-run
manifest makes if-no-files-found:error sound; the same persistence path
lands on falsifier. CiEvidenceSubject is the identity carrier for later
harvest folds (commit 1 of #7785 completion).

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbai-bot Bot pushed a commit that referenced this pull request Aug 5, 2026
Upload the exact attempt root via GITHUB_OUTPUT, drop the broken journal
alias, bind Rust rows to the committed .dag fingerprint wire, fail-close
required evidence writes, use per-receipt observation fragments, hash an
honest manifest body digest, and run floor_evidence native controls in
required CI.

Co-authored-by: Cursor <cursoragent@cursor.com>
@gunbai-bot
gunbai-bot Bot force-pushed the session/lively-crab-41-pr2-floor-receipts branch from 1c7608d to 4b62f2c Compare August 5, 2026 05:32
gunbai-bot Bot pushed a commit that referenced this pull request Aug 5, 2026
…anifest

Exact path roster replaces the multiline upload literal; always-run
manifest makes if-no-files-found:error sound; the same persistence path
lands on falsifier. CiEvidenceSubject is the identity carrier for later
harvest folds (commit 1 of #7785 completion).

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbai-bot Bot pushed a commit that referenced this pull request Aug 5, 2026
Upload the exact attempt root via GITHUB_OUTPUT, drop the broken journal
alias, bind Rust rows to the committed .dag fingerprint wire, fail-close
required evidence writes, use per-receipt observation fragments, hash an
honest manifest body digest, and run floor_evidence native controls in
required CI.

Co-authored-by: Cursor <cursoragent@cursor.com>
@gunbai-bot
gunbai-bot Bot force-pushed the session/lively-crab-41-pr2-floor-receipts branch from 1e85e01 to 0055000 Compare August 5, 2026 15:14
gunbai-bot Bot pushed a commit that referenced this pull request Aug 5, 2026
…anifest

Exact path roster replaces the multiline upload literal; always-run
manifest makes if-no-files-found:error sound; the same persistence path
lands on falsifier. CiEvidenceSubject is the identity carrier for later
harvest folds (commit 1 of #7785 completion).

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal and others added 27 commits August 5, 2026 19:32
Empty marker: the Measure boundary fix itself is in 23aaaab
(auto-heal commit message was incidental WIP label).

Co-authored-by: Cursor <cursoragent@cursor.com>
…anifest

Exact path roster replaces the multiline upload literal; always-run
manifest makes if-no-files-found:error sound; the same persistence path
lands on falsifier. CiEvidenceSubject is the identity carrier for later
harvest folds (commit 1 of #7785 completion).

Co-authored-by: Cursor <cursoragent@cursor.com>
Replace the Boolean 95% predicate with PopulationReconciliation: exclusive
CI-job elapsed populations only, nested resolve/eval as diagnostics,
OverAttributed when classified > job, InsufficientAttribution when
unattributed > 5%, and REDs that remainder cannot inflate the numerator.

Co-authored-by: Cursor <cursoragent@cursor.com>
…e realization

Replace HEAD^{tree} (parsed as dag var `tree`, breaking regen/heal) with
git log --format=%T. Land falsifier main-floor upload before cold controls,
registry well-formedness witnesses, and regenerated workflow projections.

Co-authored-by: Cursor <cursoragent@cursor.com>
Delete ci_floor_population_receipt_manifest_script. Add typed FloorReceiptLocator,
LocalCiEvidenceSubject (no pre-upload artifact digest), journal-derived standing,
and thin claim_executor --finalize-floor-evidence seed realization. Workflow only
invokes the already-built binary plus upload-artifact.

Co-authored-by: Cursor <cursoragent@cursor.com>
…alizer

HealAuthorCommitRequired blocked on drifted ci.yml/falsifier.yml after the
registry moved to target/floor-evidence/*; regenerate those projections and
land the fingerprint-paired native finalizer so upload and finalize agree.

Co-authored-by: Cursor <cursoragent@cursor.com>
The previous commit left the old inline finalizer in place, so the new
module was dead under -D warnings and broke the release build.

Co-authored-by: Cursor <cursoragent@cursor.com>
Upload the exact attempt root via GITHUB_OUTPUT, drop the broken journal
alias, bind Rust rows to the committed .dag fingerprint wire, fail-close
required evidence writes, use per-receipt observation fragments, hash an
honest manifest body digest, and run floor_evidence native controls in
required CI.

Co-authored-by: Cursor <cursoragent@cursor.com>
Cold native-cache host srv1-02 killed the step at 15m while still
Checking v1-compiler (run 30973970516 @ 9048c03); warm/local check
finishes in ~1m. Same envelope class as the prior 10→15 raise.

Co-authored-by: Cursor <cursoragent@cursor.com>
Co-authored-by: Cursor <cursoragent@cursor.com>
Join Actions step timestamps from run 30987560453 into the settlement
receipt and derive Reconciled (~99.85% classified). Keeps subject-A
MissingExclusiveObservation as the pre-harvest control.

Co-authored-by: Cursor <cursoragent@cursor.com>
Rename the dated banked subject so source no longer claims the moving PR tip,
collapse subject authority onto LocalCiEvidenceSubject + UploadedEvidenceBinding,
type exclusive elapsed as Millisecond, and totalize admission/native settle from
full observation fields. Retain the one-time Actions harvest pack under
docs/plans/receipts/ci-floor-settlement-30987560453/.

Co-authored-by: Cursor <cursoragent@cursor.com>
Author-commit-required projections: restore floor-evidence finalize/upload,
attempt-scoped journal path, v1-floor-evidence controls, and peak-post journal
header after rebasing onto path_intent main.

Co-authored-by: Cursor <cursoragent@cursor.com>
@gunbai-bot
gunbai-bot Bot force-pushed the session/lively-crab-41-pr2-floor-receipts branch from 4552a5b to b176c17 Compare August 5, 2026 19:32
@briansrls
briansrls marked this pull request as ready for review August 5, 2026 19:37
@briansrls briansrls closed this Aug 7, 2026
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.

1 participant