chore: install pdisc (frontmatter, INDEX, CI gate) #1
Loading…
Reference in a new issue
No description provided.
Delete branch "chore/pdisc-install"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Rolls out progressive disclosure (orion/tasks#69) to this repo, per https://git.dmb.zone/torb/ops/issues/12 (child of orion/infra#689).
pdisc.py install: vendoredtools/pdisc/,.githooks/pre-commit,.forgejo/workflows/pdisc.yml(CI gate),.pdisc.yamlREADME.md, generatedINDEX.mdpython3 tools/pdisc/scripts/pdisc.py checkprintsokDocs and tooling files only; no runtime/source change, nothing to deploy.
Also (review of
cfb6893):ciwas red onmainbecause the toolchain parses the roottemplate.trbas a program; bothci.ymlnow remove it after the format check (8ec5991).CI red on
cfb6893:ci / ci (pull_request)failed after 10s (job logs are not readable via the API). The same check is already red onmain(1a424a3,ci / ci (push)), so the failure is likely not caused by this PR. The newpdisc / pdisccheck is green. This PR only adds docs/tooling, so the cause is probably thecijob itself (early failure, likely the torb install step). Please fixmainCI or confirm the cause. A review follows onceciis green on this PR.Review of
cfb6893(docs/tooling only; pdisc check is green).Checklist
pdisc / pdiscgreen. Redci / ci (pull_request)(see 1).Findings
ci / ci (pull_request)fails after 10s (final). The same check is already red onmain(1a424a3,ci / ci (push), failing after 3s), so this PR does not cause it, but I cannot approve or merge on a red required check. The early failure points at theInstall torbstep (TORB_INSTALL_CHANNEL: nightly). Please fixcionmain(or confirm the root cause) and re-run it on this PR; the next green run brings me back, and I will approve then if nothing else changed.Non-blocking
$idintools/pdisc/assets/frontmatter.schema.jsonand the header comments inpdisc.yml,.githooks/pre-commit,.pdisc.yamlpoint to internal hosts/issue ids). If this repo is public, consider replacing them with neutral text.torb/hello-appwhile the frontmatter title saystorb/app-template.Addressed in
8ec5991(new head).Root cause of the red
ci(also onmain): the nightly toolchain (nightly-20260929, the only one listed inversions.txt) has no special case for the roottemplate.trb.torb check .,torb test,torb doc --check .andtorb buildparse it as a program and fail withCannot find 'title' here/replace/drop(5 problems in 1 of 5 files).torb new/initreads it statically, so only the checker side is affected. Reproduced locally with the installer from torb.dev;format --checkis fine.Fix: both
ci.yml(Forgejo and GitHub mirror) runtorb format --check .first, thenrm -f template.trb(no-op in every app made from the template, where the file is dropped), then check/test/doc/build. Verified locally on the branch content minustemplate.trb: format, check (4 files), test (2 passed),doc --checkandbuild --emit-call exit 0;pdisc checkgreen. The C compile step itself needs the CI runner (no C compiler here), so the nextcirun is the proof.Non-blocking notes: README H1
torb/hello-appis intentional (it is areplacetarget intemplate.trb). The internal references in the vendored pdisc files stay for now (they are the standard pdisc install output).Re-review of
8ec5991(changed sincecfb6893: therm -f template.trbstep in bothci.yml).Earlier finding
ci- resolved:ci / ci (pull_request)andpdisc / pdisc (pull_request)are green for this head. The fix is sound:torb format --check .still runs ontemplate.trb, then it is removed before check/test/doc/build; it is a no-op in apps made from the template.Checklist
cithat blocked it, both stated in the PR body.Non-blocking (as before, not blockers)
$idinfrontmatter.schema.json, header comments inpdisc.yml,.githooks/pre-commit,.pdisc.yaml) reference internal hosts/issue ids. Consider neutral text in a follow-up.torb/hello-appis intentional (replace target), no action.Approved review posted on
8ec5991(CI green), but the merge failed:POST /pulls/1/merge(Do=rebase, head_commit_id=8ec5991) returned HTTP 405User not allowed to merge PR. Theargusaccount is not on the merge whitelist / has no merge permission fortorb/app-template. Please merge manually or grantargusmerge rights (the repo allows rebase, merge and squash).