Skip to content

chore(docs,config): #488 partial-port state note; allow compiler oracle (Refs #488) - #499

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/pensive-fermi-JVCzu
May 31, 2026
Merged

chore(docs,config): #488 partial-port state note; allow compiler oracle (Refs #488)#499
hyperpolymath merged 1 commit into
mainfrom
claude/pensive-fermi-JVCzu

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

What

Wrap-up bookkeeping after the res-to-affine partial-port slices (#494/#495/#496). Docs + config only, no code.

  • STATE.a2ml — dated session note documenting --partial slices 1–3 (fn skeletons + switchmatch + pipe/if/blocks + array/record literals), the local build/test/parse verification, and the remaining [Repo] res-to-affine partial-port mode: switch→match / function translation + module-qualified references #488 work (JS objects / template strings, labelled-arg refinement, --partial+--translate combine, module-qualified-reference resolution as a module-mapping policy decision). Mirror keys intact.
  • .claude/settings.json — allow _build/default/bin/main.exe (the compiler oracle used to parse/type-check generated .affine output) in the permission allowlist. Existing entries + the SessionStart hook preserved.

Validation (local)

  • node -e JSON.parse(settings.json) → ✅ valid
  • ./tools/check-doc-truthing.sh → ✅ pass
  • No OCaml/workflow files touched → build/lint/migration-assistant unaffected.

Notes

Refs #488

https://claude.ai/code/session_017T8SzHr2yXav8hm4Ho76Uw


Generated by Claude Code

…le (Refs #488)

Wrap-up for the res-to-affine partial-port slices (#494/#495/#496).

- STATE.a2ml — dated session note documenting --partial slices 1-3 (fn
  skeletons + switch->match + pipe/if/blocks + array/record literals), the
  local build/test/parse verification, and the remaining #488 work (JS
  objects / template strings, labelled-arg refinement, --partial+--translate
  combine, module-qualified-reference resolution as a module-mapping policy).
- .claude/settings.json — allow `_build/default/bin/main.exe` (the compiler
  oracle used to parse/type-check generated output) in the permission
  allowlist; existing entries + the SessionStart hook preserved.

Docs/config only, no code. settings.json valid JSON; doc-truthing guard passes;
STATE.a2ml mirror keys intact.

Refs #488

https://claude.ai/code/session_017T8SzHr2yXav8hm4Ho76Uw
@hyperpolymath
hyperpolymath marked this pull request as ready for review May 31, 2026 07:03
@hyperpolymath
hyperpolymath merged commit 83d82d3 into main May 31, 2026
15 of 24 checks passed
@hyperpolymath
hyperpolymath deleted the claude/pensive-fermi-JVCzu branch May 31, 2026 07:04
@github-actions

Copy link
Copy Markdown

🔍 Hypatia Security Scan

Findings: 83 issues detected

Severity Count
🔴 Critical 2
🟠 High 13
🟡 Medium 68

⚠️ Action Required: Critical security issues found!

View findings
[
  {
    "reason": "Action perpolymath/standards/.github/workflows/governance-reusable.yml@main\n needs attention",
    "type": "unpinned_action",
    "file": "governance.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action ons/checkout@v6\n    needs attention",
    "type": "unpinned_action",
    "file": "publish-jsr.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action land/setup-deno@v2\n    needs attention",
    "type": "unpinned_action",
    "file": "publish-jsr.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in affine-vscode-publish.yml",
    "type": "missing_timeout_minutes",
    "file": "affine-vscode-publish.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in casket-pages.yml",
    "type": "missing_timeout_minutes",
    "file": "casket-pages.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in casket-pages.yml",
    "type": "missing_timeout_minutes",
    "file": "casket-pages.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in ci.yml",
    "type": "missing_timeout_minutes",
    "file": "ci.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in ci.yml",
    "type": "missing_timeout_minutes",
    "file": "ci.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in ci.yml",
    "type": "missing_timeout_minutes",
    "file": "ci.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in ci.yml",
    "type": "missing_timeout_minutes",
    "file": "ci.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants