Repository navigation
Qualify remaining public knowledge routes and retained FSharp compatibility migration #4723
Description
Owner
Programme/root accountable for complete scoped acceptance and integration. Source owner /root/knowledge_qualification_prep owns the one isolated routine/knowledge-public-receivers-20261020 branch and original source attempt knowledge-remaining4723-source20261020-01. Templates owns composition/probes and SDD owns initialization/migration semantics. Root remains the sole native/PR integrator; recover this owner/branch rather than starting another assignment.
Done when
Independently accept the 24 executable subjects named here: console's five missing provider/raw typed/default and Wizard-default subjects; web/Python six each across Wizard/provider/raw typed/default; bindings four provider/raw typed/default subjects; one Rendering game Wizard typed subject; one full capture/recovery subject in a fresh Git clone of the accepted4708 typed Rendering app; one nonempty retained Standard-to-explicit-FSharp migration preview/apply/rollback subject. Twelve typed subjects prove canonical knowledge/owner CI/exact root pins and normal caller initial/later Git inclusion, four concise captures, real retrieval/history/version retrieval, cache-free clone retrieval, lossless selected-record export/restore, separate Git-history recovery, post-private-capture shared-export exclusion, exact10MiB/one-byte-over checker behavior and owner-preserving refusals. Eleven omitted-default subjects prove sdd selection and absence of automatic canonical knowledge/CI; they are not knowledge-ready acceptance. Retained compatibility proves preview no-write, original source/rollback bytes, actual supported explicit-FSharp apply/rollback, and preserved authored product/knowledge/guidance/history. Reuse accepted4720 console Wizard-typed creation without rerun, and accepted4708 app creation only at its exact original scope. The two deferred Wizard-bindings positive assertions stay with parent4642; source-gap evidence cannot substitute for their successful creation. Full parent promise remains unchanged.
Current deliverable
Programme/root independently accepts this Delivery's complete scoped24 subjects on2026-10-20. The two newly qualified genuine public021 Python Wizard typed/default subjects pass alongside the unchanged retained22; original22 were not replayed. Required source CI and public PR4755 protected delivery0145217e48a5e9baa624adc58b83bfcc6b29f10e are accepted. The independent runtime report has24passed/0blocked/full24Accepted=true, SHA25658364f47d903b7fc432eab609d653cdbcadce09c646b870f3ec931115cc4ccd5. This completes4723 only, not parent4642.
Next action
Record Status Done and then separately close4723 as completed after guarded independent readbacks. Preserve this source owner and all original evidence; no receiver recreation, publication replay, reservation release or new operation follows. Parent4642 remains open for its two deferred Wizard-bindings positive assertions and the rest of its full promise; root owns that separate disposition.
Blocked on
None for the declared24-subject4723 acceptance. The two deferred Wizard-bindings positives and full parent4642 promise remain separate and unaccepted. Original414 public019 refusal, all expired clocks/failures,439 inherited and46 later Unknowns and unrelated reservations remain retained.
Acceptance evidence
Parent #4642; canonical SDD owning plan https://github.com/FS-GG/FS.GG.SDD/blob/cf2f046a10497a336d6243c9a314c3f91fb15771/docs/roadmaps/tsdd-knowledge-01.md milestones.4/.5. Templatesf5fbd06 docs/roadmaps/tsdd-knowledge-receivers.md105–119 defines raw caller initialization/tool pin/initial commit; its public019 template configs exclude knowledge CI for lifecycle!=typed-sdd. Actual published019 role identity FS.GG.Templates.ProjectKnowledge, shortNamefs-gg-project-knowledge, template/project-knowledge/.template.config/template.json10–40 includes only .github/workflows/project-knowledge.yml and scripts/check-project-knowledge.py; it initializes no lifecycle/store. Public SDDcf2f tests/FS.GG.SDD.Cli.Tests/TypedSddCommandTests.fs406–442 and488–531 bind nonempty supported-spec preview/apply/rollback, source fixture SHA2567f7c796770678d8941e6865c6c161b07a65c881faf0dbca774521b574aa2b685; src/FS.GG.SDD.Cli/TypedSdd.fs1182–1207 has no-write preview and1248/1291 initializes knowledge after accepted migration; docs/release/single-quint-lifecycle-2.0.0.md13–23 explicitly supports FSharp compatibility. Wizardcc1d3c12 scripts/NewSddWorkspace/Program.fs2495–2501,3147–3166 and SDDcf2f CommandWorkflow/HandlersScaffold.fs365–371 establish deferred selector transport; Templatesf5fbd06 providers/fable-bindings.providers.yml37–46 documents the trap, and templates/fs-gg-fable-bindings/.template.config/template.json45–48 binds defaults. Source-qualified proposal has no runtime/whole-parent acceptance; retain actual artifacts/invocations, honest failures, cleanup and independent result before closure.
Retained-only901–979 completed79 commands in20.779s, exit0; rollback restored Standard. Independent review verified all900 prior evidence unchanged,21 prior passing subjects unchanged and all79 groups absent. Both Python Wizard cases remain held; full24 is false.
Accepted supported-source boundary2026-10-20: exactbd0 required CI and normal protected delivery12a8 independently read back. Public report docs/reports/knowledge-public-receiver-matrix-20261020.md and Atlas github/public-knowledge-receiver-recovery-boundary retain actual22/2,979 command boundary, all prior failures/clocks and full24/parent limits. No receiver/process remains executing; no effect replay, issue closure or reservation release follows.
Historical boundary before public021 qualification (retained verbatim):
Current deliverable: Supported matrix scope22passed/2held accepted; source/report/Atlas PR4726 exactbd0bd2df delivered to protected12a8d7e655845c3b200a36a277d1c774268d0abf after final required CI. Full24 acceptance remains open. No supported remaining runtime is currently executable on the selected genuine published Wizard tuple.
Next action: Reopen the two remaining public Python Wizard positives when the root supplier supplies a compatible genuinely published Wizard with the4727 source fixes and verified adoption. Then fresh-admit only those remaining cases with current identities, preserving all earlier passing rows, failures and original effects.
Blocked on: Compatible genuine published Wizard supporting Python default/typed family selection. Source4727 and its source-candidate tests are prerequisites, followed by separately required publication/adoption owned by Programme/root under4642; source merge alone cannot unblock these public positives.
Independent acceptance2026-10-20: Programme/root verified the report SHA25658364f47d903b7fc432eab609d653cdbcadce09c646b870f3ec931115cc4ccd5, exact unchanged retained22 joins and all four checkpoint input hashes. All78 new command terminals and156 original stream hashes were verified, with no timeout and observed command groups absent; the enclosing caller has explicit EOF/reaped evidence. Inner journal records do not expose per-inner EOF fields, so no such claim is made. Ordinary caller initial assets were verified before separate probe setup; typed knowledge/capture/retrieval/recovery/limits/owner-preservation and omitted-default absence boundaries passed. Original414 and prior979command evidence are retained. Public source: #4755 (protected0145217e48a5e9baa624adc58b83bfcc6b29f10e). The earlier public22/2 report remains historical at its original scope; it is not rewritten into a claim that those old runs executed24. No global containment or hold release is inferred.
Historical public021 runtime-admission fields (retained verbatim):
Current deliverable: Original22 accepted subjects and979 command evidence remain unchanged, including original414 public019 Python refusal and all prior failures/clocks. Source-only continuation PR https://github.com/FS-GG/.github/pull/4755 exact58df passed required CI and workspace selftest, then merged0145217e48a5e9baa624adc58b83bfcc6b29f10e with the tested tree. Programme/root has selected one bounded genuine public021 typed/default Python qualification; no new runtime result or full24 acceptance is claimed yet.
Next action: Same source owner executes only python-wizard-typed and python-wizard-default in fresh disjoint roots using the accepted signed public021 archive/full88 installed payload and merged closed adapter. One original600-second clock includes validation/cleanup, inner590 and outer595+5; commands/cases stay at most180 clipped to remaining time. Preserve all prior22 subjects,24 original case trees,979 original commands and unchanged4230 other inputs; no replay or renewed clock.
Blocked on: Full24 acceptance remains pending the actual two public021 Python receiver results and independent acceptance/readback. The prior public019 supplier limitation remains historical; genuine021 publication and isolated installation are accepted. Full parent4642 and all unrelated/Unknown/reservation promises remain open.
Activity