Repository navigation
Gate5 G5A: real GitHub POST 3×2-unit FIDS reobservation, budget ledger and T+2h label readback - #374
Merged
HKcode22 merged 19 commits intoNov 3, 2026
Conversation
… windows after schedule retime
…its original 1-hour FIDS frame
…ginal source hash; retain stable retime identity
…rant, no new schema/no credentials/no provider calls
…t nonexistent public role
…ons, original SHA, stable retime identity and W=T+2h measured label counts
…ign source reservations; enforce one budget UPDATE
…er and budget regression
…T+2h as-of label aggregates, no PR paid path
…e reservation IDs, GH-only guard and W as-of label SQL
… 24-unit cap, missed-slot accounting and least-privilege denial
…al source-role ACL
… disposable PG16, no provider calls
…kdown SHA or fabricated live provider version
…s in merged source owner grant
…er, T+2h observed/unknown aggregate and no extra secret
…as V0076 production schema requires
… read-only privilege diagnostics
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.
Direct completion work on owner's time-critical Gate5 G5A
Owner directed measurable one-month aviation ML data collection by Nov4 evening PT, no repeated vendor runway/email loop. #372 is merged: real GitHub-only three-horizon source original→V0076→private V0077→cutoff-safe PRE. Exact source-role credential already installed via #371. This PR implements the previously missing POST half of the amended scientific question: provider-observed schedule revision, not actual runway/wheels-off delay.
Real fixed POST clock, as-of W and bounded cost
.github/workflows/phase4-gate5-g5a-wsss-real-post.ymlstarts 2026-11-05 02:10 UTC (Nov4 6:10pm Pacific), with independent GH API verification of exact scheduled job/start and SHA. Three planned WSSS POST FIDS requests at 03:40, 04:10, 04:40 UTC, from wider 01:00–05:00 UTC provider source range, to measure retimes that move outside the original one-hour frame. Pre-registered primary as-of watermarkW=first provider-reported scheduled T+2h; final aggregate after 05:01 UTC Nov5 (Nov4 9:01pm Pacific).SERIALIZABLEreserved-unit update and deterministic immutable per-slot reservation UUID appended to existing baselineclean.adb_rest_attempt_ledgerBEFORE paid GET. A missed slot is UNOBSERVED; no retries, refund or replay, and no later GET can backfill an earlier fixed watermark.SELECT,INSERTmetadata-only grant on that existing ledger to already created non-admin G5A source writer role viascripts/v39_phase4_gate5_g5a_post_ledger_exact_grant_once.ts, production operator only after exact reviewed pin. Does not add a new secret or change DB URL. PG16 disposable grant + actual reservation/replay/cap workflow proves the permissions and ledger on a real PostgreSQL instance, never calls provider.A_post<=T+2h, never after W; counts per horizon PRE, source baseline, post observed, absolute schedule revision ≥15min or below, UNKNOWN otherwise. This is not observed actual departure time. No training, Phase5/6 automatic release or fake scientific PASS.Scope & tests
data-collection/phase4/2026-11-03_GATE5_G5A_PROSPECTIVE_POST_6_UNIT_SOURCE_AND_LABEL_MEASUREMENT.md.735620f2d2132c5bf51768f50caa767b7f0b25be8b128679641402666696890aused as documentary provenance, not the G5A protocol-md SHA. This aligns with source correction Gate5: correct source OpenAPI document hash provenance before prospective paid FIDS #373.Action after green merge: one exact pinned, non-provider, non-content Replit shell command for the one table GRANT only; no extra secret, no migrations. Then GH will handle timed POST if source first-horizon prearm and all other requirements actually occur.