Repository navigation
Qualify FINAL evidence while keeping admission disabled - #1167
Open
seathatflowsinourveins wants to merge 3 commits into
Open
seathatflowsinourveins wants to merge 3 commits into
seathatflowsinourveins wants to merge 3 commits into
Conversation
This was referenced Oct 16, 2026
seathatflowsinourveins
force-pushed
the
codex/ns2604-final-admission-redesign-20261015
branch
from
October 16, 2026 08:10
bd0474d to
0807bda
Compare
seathatflowsinourveins
added a commit
that referenced
this pull request
Oct 16, 2026
The command center's follow-up of 2026-10-16: #1167 and #1180 each held the nas landing lock for about 45-50 minutes, waiting for checks a DIRTY pull request never completes, and #1180's lander stopped with 6, a CI timeout. In the CI-wait loop, after the head-follow step, a mergeStateStatus of DIRTY ("The merge commit cannot be cleanly created.", github/docs@be38ec5d src/graphql/data/fpt/schema.docs.graphql:26528-26530) now stops at once with 10, the exit merge_validate gives a merge that does not apply cleanly, nothing merged; the lock ends with the script. The header's exit codes and the README's exit list name it. Fail-first: the new test (a DIRTY pull request with a check still running) exited 6 after the 25 polls against this pull request's previous nas_land.sh, whose CI wait is main's; now 10 before any sleep 120, with the lock free after it. Its control (CLEAN, a check running) still waits and times out with 6. tests.test_landing_scripts: 215 tests OK (1 skipped); validate.py and evidence_manifest.py --check pass; README digest rows and evidence rows refreshed. Co-Authored-By: Claude Opus 5.5 <[email protected]>
5 tasks done
Validate native retained history before replay and require current inputs. Keep the common refusal, protect retained consumers and qualify recovery.
Use a fresh native source reader for each qualification call so a caller's cached JSON cannot hide changed inputs. Retain symbolic reopening IDs as metadata, require discovery failures to be repaired, and recompute the native repository/ID winner-to-run join. Keep legacy alias display states unreported, restore explicit desk checks, cover list.sort in the no-date oracle, and exercise settlement/refutation through the native qualification seam. Production FINAL still refuses. Sources at 425c436: final_stack.py:1087-1092 (fresh reader), :564-594 (native run join), saturation_ledger.py:1091-1094 and :1463-1468 (reopening identifiers), :1171-1178 (retained failures), and the pinned references in the decision. Fail-first: nine methods at the frozen head yield 11 assertion failures and two errors from native-valid symbolic references treated as files. Successful qualification still reports admission_enabled false. All 900 tests in the 21 affected modules pass; focused native controls pass 37 tests. No model call or candidate capability qualification. Native regeneration and post-generation validate.py return rc 0; 12,137 hashes, 71 components, four profiles and 240 receipts checked.
Enumerate canonical current rows before following a packet source pointer, derive winner/verdict metadata from that row, and reconcile the registered wave through the native checker after validating its retained bytes. Native sources at f33b1cb: - scripts/final_stack.py:249-269 (current-row uniqueness), :545-561 (verdict) - tools/sota-convergence/build_verdicts.py:476-495 (frozen-wave reconciliation) - scripts/saturation_ledger.py:1091-1094 (nonempty marker references), :1463-1493 (the two native symbolic namespaces) Require explicit baseline reopening metadata and retain all file-shaped references. Native-valid null and whitespace metadata fail with domain errors; symbolic post-anchor events still refuse through history policy. Regression methods fail against the exact prior source before these fixes. The decision and check record retain the commands, counts and limits. Production admission remains disabled.
seathatflowsinourveins
force-pushed
the
codex/ns2604-final-admission-redesign-20261015
branch
from
October 16, 2026 11:32
0807bda to
4d6f31a
Compare
This branch has not been deployed
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
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.
Scope
Qualify retained FINAL evidence against current repository inputs while
production admission continues to refuse every FINAL claim. Current angle
evidence, complete run pins, canonical winners, registered waves, native
receipts and retained ledger history must agree on each qualification call.
9d5bc9f9e076e033a24fcef2a26d41986506c647.4d6f31a4be9fed388db540f22a55f5d77f70d714.lane:foundation.local-pages manifest, seven test modules, angle contract/output, CI schema
input/lock and OSV targets, two decisions, retained check/source records and
their evidence registrations; 23 paths in total.
Native integrity precedes qualification. Canonical catalogs must identify one
current row, its verdict metadata must match, and its registered retained wave
must bind the layer and winner. Native symbolic reopening namespaces remain
metadata; other references retain confined files. A later complete covering
sweep must repair incomplete discovery, and the native repository/ID join
revalidates the selected run. Retained FINAL snapshots and legacy aliases
establish no current admission result.
This landing rebase replays the three qualification commits ending at
0807bda199129e9960ede70655836947f322a989onto the exact base above. Its twointegration paths are
manifests/evidence.jsonandscripts/final_stack.py.The registry starts from exact main and its 22 branch-owned rows are registered
through
scripts.host_receipts.register_file; unrelated rows and non-filemetadata remain intact.
The FINAL integration keeps main's shared candidate, receipt and condition
helpers. Qualification calls those helpers and attaches the layer context to
their errors. Deferred angle-validator imports preserve generation-only
imports. Condition 3 retains the original explicit URI validation for every
source URL and repository, including additional citations. Condition 4 keeps
the unchanged native UTC-Z parser and strict window ordering. All other
original final-stack definitions and module-level nodes are unchanged.
The previously published
0807bda1revision was the result of the earlierregistry/generated-output rebase onto
1b633d861518fa0d299279b1cfaec11d0fb47f82.Earlier qualification revisions and their execution receipts remain historical
evidence; the current rebase checks are reported below.
SOTA sources
9d5bc9f9, final_stack.py:870-950.The integration reuses this implementation rather than retaining duplicate
candidate and receipt validators.
0807bda1, final_stack.py:1104-1111,and the strict native timestamp parser at
angle_records.py:73-80.Their public qualification regressions are
test_final_admission_checks.py:313-342.f33b1cb4, final_stack.py:249-269and
build_verdict:545-561.Frozen-wave reconciliation reuses
build_verdicts.py:476-495.e1b52880, saturation_ledger.py:1313-1317,its retention contract at :75-101,
and the native reopening identifiers and retained discovery failures at
425c4367, saturation_ledger.py:1463-1468and
:1171-1178.425c4367, build_document:1087-1092and the native winner/run join at
final_stack.py:564-594.jsonschema4.26.0, _format.py:303-313.This rebase changes no dependency or lock version.
Evidence-class table
Local commands run
All long checks run detached at idle CPU weight, with a durable PID record and
an exit file. The command exit and completed receipt determine each result.
Before correcting the URI merge regression:
Two tests; one assertion failure, zero errors, rc 1. The failure was the missing
URI refusal; the strict UTC-Z/window control already passed.
Required integrated checks:
The integrated suite passed 358 tests, no skips, rc 0, in 302.425 seconds.
Stage-one and committed-head generated-output checks passed. All three
pre-commit validations passed; validation reports 12,268 hashes, 71 components,
four profiles and 240 receipts.
The resulting chain is
9d5bc9f9 -> 3d9061fba -> 553aa871b -> 4d6f31a4b.All three commit pairs preserve their exact changed lines outside the two
integration paths (21, six and three files respectively). The total path set
remains 23. The isolated FINAL helper resolution is described above; it is
included explicitly in the resolution read. Final merge-tree against the
exact base returns 0, and the rebased worktree is clean.
The exact final-stack resolution and full three-pair range-diff are retained
by name in
angle-records.landing2-20261016.final-stack-resolution.patchandangle-records.landing2-20261016.range-diff.txt. These are rebase integrationrecords, not new qualification or admission receipts.
Decision record
docs/decisions/2026-10-15-final-evidence-qualification.md. The scope qualifiesevidence while keeping admission disabled. The opening scope, including the
page activation item, remains separate.
Host evidence
No host receipt is added or changed.
Checklist