Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
96 commits
Select commit Hold shift + click to select a range
7e17bff
Sizing becomes derived: unbundle NodeSizing, delete the authored cell…
Sep 11, 2026
d7f274b
Restore the intricacy-does-not-change-effort controls on the new expe…
Sep 11, 2026
8ae9d82
Admit the four remaining sizing-vocabulary relocations in the effort-…
Sep 11, 2026
b28f6cb
Merge main into the sizing unbundling
Sep 11, 2026
8a4b01e
Review 63379: cite the drop by the identity it actually has, and hois…
Sep 11, 2026
19df1ca
Merge main into the sizing unbundling
Sep 11, 2026
6f4bdf4
Review 63398: restore the two forecast discriminators the mechanical …
Sep 11, 2026
dc24b2e
Review 63425: regenerate the rung-drop projection from the merged aut…
Sep 11, 2026
58f9790
Key the sizing subject to the node's minted identity, not its slug
Sep 11, 2026
e487839
Merge main into the sizing unbundling
Sep 11, 2026
ea90ae3
Review 63447: the drop row said the dispatch passenger was deleted; i…
Sep 11, 2026
d254741
Review 63466: roster the cycle-time history loss instead of leaving t…
Sep 11, 2026
a9a90b0
Review 63483: delete the two size-rendering folds no production route…
Sep 11, 2026
391ad48
Review 63524: two annotations stated a false history; repair both
Sep 11, 2026
a1c0f63
Delist the two retired forecast witnesses from the floor cost-debt ro…
Sep 11, 2026
8a76f3d
Review 63572: repoint the page's exact-shape disclosure pin at the re…
Sep 11, 2026
f9c3a90
Admit the two relocations the restored calibration-gap discriminator …
Sep 11, 2026
5929ccc
Merge main into the sizing unbundling
Sep 11, 2026
c4d7f10
Retire the authored-size-distribution witness with its subject
Sep 11, 2026
1868158
Key the sizing assignment durably, refuse a cell answered for another…
Sep 11, 2026
cda8b68
Merge main into the sizing unbundling
Sep 11, 2026
3464e81
Review 63738: the adapter cited the wrong witness module for its own …
Sep 11, 2026
b564591
Review 63757: run both assignment checks on the history path too
Sep 11, 2026
ceda718
Merge main into the sizing unbundling
Sep 11, 2026
dbd23ac
cargo fmt: reindent main's admission row inside the unioned roster
Sep 11, 2026
68b7ad8
Make dispatch destination, validation roots, and path scope per-node …
Sep 11, 2026
0d491de
Refuse spawn when the validation oracle pin already refused.
Sep 11, 2026
fd546fb
Stop minting GitHub privacy and default-branch from a destination slug.
Sep 11, 2026
f80d2d9
Review 63780: identity-join the history control and read its denomina…
Sep 11, 2026
2cff392
Merge main into the sizing unbundling
Sep 11, 2026
0d6f9f1
Declare the publication-subject privacy placeholder as a §4b(3) rung …
Sep 11, 2026
caf38b7
Stop claiming path_scope is a belt wall, and stop prefix-matching sib…
Sep 11, 2026
eef64a1
Restore the merge-target import and stop collapsing destination refus…
Sep 11, 2026
fe1c4ab
Declare the non-agent execution-contract arms as a frontier with a tr…
Sep 11, 2026
388f0e5
Keep non-agent execution modes distinct from a missing contract.
Sep 11, 2026
47683ce
Stop claiming the controller-tree oracle check is the spawn pin.
Sep 11, 2026
1e728b3
Name which spawn effects still precede an oracle-pin refusal.
Sep 11, 2026
d651c96
Declare belt_spawn_oracle_pin_standing as a frontier with a trigger.
Sep 11, 2026
a02bb31
Restore the closing-contract-authoring import on the authority module.
Sep 11, 2026
be02712
Refuse dispatch when the destination is not this instance's spawn tree.
Sep 11, 2026
875f642
Pin the dispatch-button wire roster at 25, not 26.
Sep 11, 2026
d06e0a9
Emit spawn-origin JSON through the RFC 8259 grammar, and delete the u…
Sep 11, 2026
2351881
Regenerate the rung-drop projection from the merged roster
Sep 11, 2026
c2997de
chore: regenerate drifted generated artifacts (ci auto-heal)
Sep 11, 2026
bc49c80
Pay the consumed admission #10956's merge created, per the roster's o…
Sep 11, 2026
25bfb80
Merge #10994 (bc49c800) into session/vivid-ant-470.
Sep 11, 2026
7743563
Keep one WorkItemDispatch discriminant fold at roadmap_model.
Sep 11, 2026
0f35fc3
Merge origin/main into session/vivid-ant-470.
Sep 11, 2026
0c987b1
Merge main into the sizing unbundling
Sep 11, 2026
bdf4f97
Merge #10994 head 0c987b11f5 into session/vivid-ant-470.
Sep 11, 2026
8b5a792
Merge main into the sizing unbundling
Sep 11, 2026
b4ec82a
Merge main into the sizing unbundling
Sep 11, 2026
f46bc6b
Regenerate the rung-drop projection from the merged roster
Sep 11, 2026
acde78e
Merge main into the sizing unbundling
Sep 11, 2026
107b2ad
Regenerate the rung-drop projection from the merged roster
Sep 11, 2026
d27b937
Merge main into the sizing unbundling
Sep 11, 2026
f0d865b
Drop duplicate names from the destination-witness execution-contract …
Sep 11, 2026
8bfff92
Merge #10994 head d27b937 into session/vivid-ant-470.
Sep 11, 2026
1fb8598
Merge origin/main into session/vivid-ant-470.
Sep 11, 2026
7c4145d
Merge origin/main into session/vivid-ant-470.
Sep 11, 2026
5131e16
chore: regenerate drifted generated artifacts (ci auto-heal)
Sep 11, 2026
0a1b4f3
Merge origin/main into session/vivid-ant-470.
Sep 12, 2026
bffe38b
Declare PinnedPublicPlusLocalRoot as a §3c frontier.
Sep 12, 2026
1183d33
Merge origin/main into session/vivid-ant-470.
Sep 12, 2026
156370d
chore: regenerate drifted generated artifacts (ci auto-heal)
Sep 12, 2026
d6466da
Stop presenting PathsAllowed as a live wall before verify consumes it.
Sep 12, 2026
708816f
Drop the stale #11137 namespace-wave admission after merging main.
Sep 12, 2026
6604921
Refuse publication when destination privacy is unobserved.
Sep 12, 2026
e7bdf4c
Drop the unused Repository import from the destination witness.
Sep 12, 2026
1274a6c
Keep the namespace-wave admission doc comment as one comment.
Sep 12, 2026
5e8c27e
chore: regenerate drifted generated artifacts (ci auto-heal)
Sep 12, 2026
1ef5d59
Merge origin/main into session/vivid-ant-470.
Sep 12, 2026
0dd0185
Justify sizing admission sets from the declaring module, not from a f…
Sep 12, 2026
23e5733
State sizing admissions against the comparison base, not only this tree.
Sep 12, 2026
a8fbff5
Record spawn-origin default branch as a standing, not a plausible name.
Sep 12, 2026
df53916
Cheapen the stub-deriver NodeUnsized witness to a two-node fixture.
Sep 12, 2026
ebdf857
Stop loading ci_spec for the gate-universe bag-eq, and record the stu…
Sep 12, 2026
23ed8f8
Revert the gate-universe witness to ci_spec; keep the snoc-to-map che…
Sep 12, 2026
f2f19bf
Carry NonAgentWorkMode through launch and validation instead of flatt…
Sep 12, 2026
3b6f6c6
Merge origin/main into session/vivid-ant-470.
Sep 12, 2026
3203750
Strip #10994's sizing overlap from this PR.
Sep 12, 2026
5749912
Collapse unreachable destination-slug Absent arms and one destination…
Sep 12, 2026
565790b
Restore the dropped execution-contract import in the program-view wit…
Sep 12, 2026
70030a1
Pass source_roots into belt validation and exhaust WorkItemExecutionC…
Sep 12, 2026
e894435
Bind ContractCloses validations in verify_attempt instead of re-foldi…
Sep 12, 2026
aba404b
Exhaust first(validations) in verify_attempt: Option still has Absent.
Sep 12, 2026
7a150ec
Exclude non-agent work from closing-contract task derivation.
Sep 12, 2026
7c54bb2
Fold the three non-agent contract arms into NotAgentWork { mode }.
Sep 12, 2026
7e728e0
Refuse empty-contract verify and give non-agent work its own program …
Sep 12, 2026
af4d029
Construct Optional with Present, not some.
Sep 12, 2026
65dcd04
Delete the unused closing-validation Bool; carry frontiers as Scaffold.
Sep 12, 2026
91ad4be
Cite the spawn-pin Scaffold row from the capture comment.
Sep 12, 2026
b9a3706
State declared-frontier triggers as unbound dissolution.
Sep 12, 2026
b1f543e
Rename VerifiedDispatchDisposition's NotAgentWork arm.
Sep 12, 2026
a65a341
Name NotAgentWork in the authority contract census matches.
Sep 12, 2026
ad16aba
Merge origin/main after #10940 freeze lift.
Sep 12, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions dag/gunbc/design/instrument_audition.dag
Original file line number Diff line number Diff line change
Expand Up @@ -22,6 +22,7 @@ import gunbc.design.instrument_physical {
import gunbc.roadmap_program_view {
V1DeletionProgramView, FinishLineView, FrontView, RemainingShape,
ConstraintView, ConstraintKind, ImplementationConstraint, ContractConstraint,
NonAgentWorkConstraint,
program_front_key,
}

Expand Down Expand Up @@ -278,6 +279,7 @@ fn constraint_kind_key(k: ConstraintKind) -> String {
match k {
ImplementationConstraint => "implementation"
ContractConstraint => "contract"
NonAgentWorkConstraint => "non-agent-work"
}
}

Expand Down
12 changes: 9 additions & 3 deletions dag/gunbc/roadmap/roadmap_authority.dag
Original file line number Diff line number Diff line change
Expand Up @@ -59,7 +59,9 @@ import gunbc.roadmap_execution_contract {
GunbcClaimValidation,
ExecutionContract,
ExecutionContractUnspecified,
contract_has_closing_validation,
PathsUnrestricted,
PublicWorktreeLayout,
contract_awaits_closing_validation_authoring,
closing_contract_authoring_contract,
}
import gunbc.roadmap_focus {
Expand Down Expand Up @@ -1662,6 +1664,8 @@ fn declared_roadmap_nodes() -> List<RoadmapNode> {
},
],
extra_capabilities: [],
path_scope: PathsUnrestricted,
source_roots: PublicWorktreeLayout,
}), s: signed(
by: "operator curation 2026-09-06 (session 019iXPtAqzPaNBZbaaM5rxrY)",
works: RedControlExecuted { witness_module: "test.claim.roadmap.roadmap_worker_alive_witness_test" as NonEmptyStr, witness_fn: "the_pulse_follows_the_worker_process" as NonEmptyStr, executed_on: "main floor run 33999810591 (2026-09-05)" as NonEmptyStr },
Expand Down Expand Up @@ -3305,10 +3309,12 @@ fn node_is_startable_for_accepted(n: RoadmapNode, accepted: List<RoadmapNodeId>)
// any ExecutionContract counted as bound here, while an empty validation list counted as UNBOUND in
// gunbc.roadmap_verify and refused in gunbc.roadmap_dispatch_environment. It now reads the single
// authority, so a node bound to a contract that closes nothing keeps its acceptance task instead of
// vanishing from the frontier while remaining unverifiable.
// vanishing from the frontier while remaining unverifiable. Non-agent modes are not missing a
// contract: they are declared refusals of agent work, so they do not mint a closing-contract task
// whose brief would wrap the parent in gunbc_claim_execution_contract.

fn node_lacks_closing_validation(n: RoadmapNode) -> Bool {
!contract_has_closing_validation(contract: n.execution)
contract_awaits_closing_validation_authoring(contract: n.execution)
}

fn ticket_headline_of(n: RoadmapNode) -> String {
Expand Down
Loading
Loading