-
Notifications
You must be signed in to change notification settings - Fork 11
OpenOct 1, 2026
No due date
•Last updated Can the porting loop prove code it has never seen, on the first try? Fresh public estates through the trial protocol (first-try numbers frozen before any porting), test inputs generated from record layouts, and the attempts-to-proof histogram. Epics #3755 and #3803.
60% complete
List view
0 of 4 selected 0 issues of 4 selected
Epic: logic porting under customer control -- bring-your-own LLM, human approval, proven equivalence
Status: Open.#3755 In squid-protocol/gitgalaxy;Epic: first-try proof rate on fresh estates -- trials, input generation, the attempts-to-proof histogram
epicLarge-scale architectural milestone or multi-issue initiativeLarge-scale architectural milestone or multi-issue initiativelegacy-modernizationCOBOL refractor, dead-code extraction, and JCL forgingCOBOL refractor, dead-code extraction, and JCL forgingStatus: Open.#3803 In squid-protocol/gitgalaxy;Equivalence harness: generate test inputs from record layouts (any estate testable, edge cases included)
legacy-modernizationCOBOL refractor, dead-code extraction, and JCL forgingCOBOL refractor, dead-code extraction, and JCL forgingStatus: Open.#3804 In squid-protocol/gitgalaxy;Run two or three fresh public batch estates through the trial protocol
legacy-modernizationCOBOL refractor, dead-code extraction, and JCL forgingCOBOL refractor, dead-code extraction, and JCL forgingStatus: Open.#3806 In squid-protocol/gitgalaxy;