All pull requests

Pull requests

• S3 slice (4) PR 7, PAID: KeyArm — the ?/: flow arms' carrier on accum_step_block's conclusion at depth ≥ 1 (six constructors, six sites; colonValue carries ¬ KeyAfterValueLayout); Priority 119 kavl shadow; 12 pins re-read (capstone 7.7, item 499)

  #321·devin-ai-integration[bot] opened Nov 15, 2026Bot·

  ·
  1

  

• docs(row 12): item 499 — (ω-pay-births) (d) item (2) PRICED and READ: Rule 2 (P119) HELD at the content landings (every hand-off NESTED); item 471's premise spec re-anchored flips 78 / 11; the premise's park-field hand-offs are the fields' own ∨ PackAlt — joint flip 101 / 17 → 140 / 19, class STARVED/circular with the on-drop births + 4 flow-side writers; no pay, no library change

  #320·devin-ai-integration[bot] opened Nov 15, 2026Bot·

  ·
  1

  

• proof(flow): item 497 — the strict-lead carry: FlowArm.openNest's ε lead carries trailingPropertyRun = [], accum_step_flow_trace's held-run nested-open disjunct folds into the first

  #318·devin-ai-integration[bot] opened Nov 14, 2026Bot·

  ·
  1

  

• docs(row 19): item 494 — step (3) read: the openers' h_res_land declines (13 sites / 4 producers) classed; 12 owed by R12's on-drop producers; Priority 120 (no library change)

  #316·devin-ai-integration[bot] opened Nov 14, 2026Bot·

  ·
  1

  

• proof(row 19): item 492 — option (A) pay item 2: the 29 root births supply [FrameLevel.map k] via ResumeFrames.one_of_route over compactMapTail_append; openers' 10 covers by Covered.cons; closeThenBlock's two sequence births keep []

  #313·devin-ai-integration[bot] opened Nov 14, 2026Bot·

  ·
  1

  

• experiment(trace): after-case for YAML [211] metagraph ambiguity (draft comparison)

  #307·heathsanchez opened Nov 13, 2026·

  ·

• fix(schema): establish Core §10.3.2 tag contract and repair implicit resolution

  #302·heathsanchez opened Nov 12, 2026·

  ·
  3

• fix(python): match YAML 1.2 Core numeric scalar spellings

  #300·heathsanchez opened Nov 12, 2026·

  ·
  2

• fix(python): preserve explicitly tagged Core scalar types

  #299·heathsanchez opened Nov 12, 2026·

  ·
  2