Skip to content

Shell->dag Slice 3 precondition: freeze live_deploy emitted script as a committed golden; kill the #6023 self-referential .contains gate - #6719

Merged
briansrls merged 4 commits into
mainfrom
session/swift-ibex-447
Jul 16, 2026
Merged

briansrls merged 4 commits into
mainfrom
session/swift-ibex-447

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Jul 16, 2026 •

Copy link
Copy Markdown
Contributor

Auto-opened by session-dashboard for session swift-ibex-447.
Pushing to session/swift-ibex-447 advances this PR.

Worker attestation

  • Title describes the change (not the session id or branch).
  • PR body summarises what and why (replace the TODO below).
  • Tests run: name the command (e.g. npm test, cargo test) and the result.
  • If this closes a work item, the body contains a Closes #N directive.
  • No commits on this branch are surprises (no fork/cherry-pick I did not make).
  • No secrets / credentials / large binaries staged.

Summary

live_deploy's "drift gate" (live_deploy_apply_script_drifted/live_deploy_retract_script_drifted) compared expected_live_deploy_apply_script()/expected_live_deploy_retract_script() to itself — a #6023-class self-referential fabricated-green trap with no independent oracle. This PR freezes the current emitted apply/retract scripts as committed golden artifacts (.github/live-deploy-srv1-apply.sh, .github/live-deploy-srv1-retract.sh), registered in the single-authority GeneratedArtifact registry (dag/gunbc/generated_artifact.dag + generated_artifact_emit.dag), parallel to the existing ci.yml/fleet-converge.sh goldens. The self-referential drift fns are deleted; dag/test/claim/live_deploy/emit_test.dag now reads the real committed file via Filesystem.Read and byte-compares it against the emit fn, with a real (executed, not asserted) one-byte-perturbation RED control. Both frozen scripts carry a Scaffold disposition naming their Slice 3 dissolution trigger (heredoc→typed Filesystem.Write, apt/systemctl/tailscale→typed argv) — this is explicitly NOT a reshape of live_deploy's emission, only the freeze precondition for it.

Closes dashboard work item adhoc-655056b7-9c5.

Test plan

  • claim_batch --source-root dag --source-root src/v2 --entry dag/test/claim/live_deploy/emit_test.dag --function live_deploy_emit_holds --wet — PASS (built locally via CTRL_BUILD_BYPASS_SHIMS=1 cargo build --release --bin claim_batch).
  • Discriminating RED proven by execution: perturbed the real committed .github/live-deploy-srv1-apply.sh on disk by one byte, reran the same witness — FAIL (confirming the byte-identity check actually reads the file, not itself); restored the file, reran — PASS again; git diff showed no leftover changes.
  • claim_batch --source-root dag --source-root src/v2 --entry dag/test/claim/generated_artifact_drift_test.dag --function generated_artifact_drift_witnesses --wet — PASS (registry completeness + commit-policy witnesses updated for the two new artifacts).
  • CI note: main is currently red independent of this branch on doc_graph_has_no_orphan_docs (confirmed identical failure on main@45808d767b, which predates this branch and touches no files this PR changes) — a pre-existing main-inherited issue, not introduced here.

@gunbai-bot
gunbai-bot Bot marked this pull request as ready for review July 16, 2026 05:30
@briansrls
briansrls merged commit ec73628 into main Jul 16, 2026
3 checks passed
@briansrls
briansrls deleted the session/swift-ibex-447 branch July 16, 2026 07:02
briansrls added a commit that referenced this pull request Jul 16, 2026
CI failed live_deploy_emit_holds: branch lacked #6719 committed-golden
witness; after merging main the apply script drifted from emit (ROADMAP
projection). main_wet sync restores byte-identical golden.

Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls added a commit that referenced this pull request Jul 16, 2026
* WIP: Machine-shape Phase 1: land std.machine_shape per the operator-agreed en

* WIP: Machine-shape Phase 1: land std.machine_shape per the operator-agreed en

* Drop redundant is_* predicates; scaffold evidence construction wall.

Review feedback on #6687: remove Bool coproduct predicates that duplicate
match discriminators; replace the prose data String with a Disposition
Scaffold bound to quantified_known (dissolves on witness-realization P0).
Witness tests match directly on variants.

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

* Rename Precision<T> to Estimate<T> to avoid approximate_field collision.

std.approximate_field already owns Precision for float significand/exponent
bits; machine-shape exact-vs-interval magnitudes become Estimate<T> with a
matching estimate field on Known.

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

* WIP: Machine-shape Phase 1: land std.machine_shape per the operator-agreed en

* Machine-shape Phase 1: allocation-as-contract reframe (redirect scope)

Rework std.machine_shape to definite grants via shape_from_catalog, drop
Quantified/Evidence; converge PlacementSupplyRow; derive Energy in measure.dag;
update plan doc per operator redirect; witnesses green by execution.

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

* Wire catalog_estimate into GPU catalog rows with green witness

GpuModelCatalogRow.boost_clock becomes Estimate<Hertz>?; RTX 5090 cites
Exact; estimate_floor consumer + witness exercises Exact and Interval.

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

* WIP: Machine-shape Phase 1: land std.machine_shape per the operator-agreed en

* Fix std machine_shape layer inversion; drop catalog_estimate scaffold

std.machine_shape is import-clean: agnostic InterconnectLink, no extdeps
imports. shape_from_catalog moves to extdeps.gpu.machine_shape;
pcie_interconnect_link derives beside PcieLink rows. Drop consumerless
catalog_estimate; revert boost_clock to citation-time Hertz. Plan doc:
layer-clean ruling 10 + census convergence rows.

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

* Address re-review 2: Nanosecond link latency, indexed validation

InterconnectLink.latency replaces ReadLatencyClass (avoids third fork
consumer). Edge validation builds domain/level Map indexes once. Plan
doc: Option-on-shape = structural absence, refuse never default.

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

* Add ExternalAuthority anchor to extdeps.gpu.machine_shape

Fixes extdeps_external_authority_gate_passes CI failure: new extdeps
module must carry extdeps_external_authority_anchor per live corpus policy.

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

* Update realization_measurement_loop plan after PlacementSupplyRow deletion

Replace stale PlacementSupplyRow citations with std.machine_shape grant
convergence (#6687) in embedded plan narrative cells.

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

* Dissolve map-membership predicates into map_contains_key.

Replace hand-rolled domain_id_in_index and owner_has_level_in_index
helpers with the canonical std.algebra surface per review 38676.

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

* Bind emitted-crate-partition doc for doc-graph reachability.

Main introduced docs/plans/emitted-crate-partition-design.md without a
bind: root; doc_graph_has_no_orphan_docs failed post-rebase. Anchor it
beside stage0_crate_layout_emit as the natural workflow-layer consumer.

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

* Fix stage0_crate_layout_emit parse: imports before data.

The doc-graph bind row must follow import declarations; placing it
first broke compile-clean batch 1 on dag_compile_clean_gate_passes.

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

* Revert stage0_crate_layout_emit.dag doc-bind hack.

The emitted-crate-partition orphan is owned by Wave-2; main #6723
already links it via v2_self_hosting.dag. Do not patch another lane's
file to clear a differential red.

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

* WIP: Machine-shape Phase 1: land std.machine_shape per the operator-agreed en

* Merge main and regen live-deploy apply golden.

CI failed live_deploy_emit_holds: branch lacked #6719 committed-golden
witness; after merging main the apply script drifted from emit (ROADMAP
projection). main_wet sync restores byte-identical golden.

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

* WIP: Machine-shape Phase 1: land std.machine_shape per the operator-agreed en

---------

Co-authored-by: Brian Searls <briansrls@gunb.ai>
Co-authored-by: Cursor <cursoragent@cursor.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.

1 participant