docs(estate): #229 ledger — record-sigil correction + string ++ (post-ports)#259
Merged
Conversation
… ports done (Refs #229) From actually doing the 3 confirmed quick-win ports (git-scripts PR#9, game-server-admin PR#14, invariant-path PR#4 — each oracle-validated "Type checking passed" on main): 1. CORRECTION: the record sigil `#{` is *strictly expression-literal-only*. The earlier row's "applies to record patterns in match too" was WRONG (oracle: `#{`-pattern parse-errors; `{ }`-pattern passes). Record patterns and struct/enum/type decl bodies stay `{ }`. Codemod is standalone-`{`-then-`field:` → `#{`, not pattern/decl. 2. NEW Tier-1 construct: ReScript string `+` → AffineScript `++` (concat is `++` per stdlib/string.affine:98; `+` is numeric — left a Unify(String,Int) *beneath* the parse wall on 2 of the 3 files). Another layered RS-ism the text-scanner cannot see — reinforces the lower-bound-triage warning. 3. Per-repo plan item 1 marked DONE with PR refs. docs-only; gate unaffected by construction. Refs #229. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
🔍 Hypatia Security ScanFindings: 44 issues detected
View findings[
{
"reason": "Stray AI.a2ml in root -- use 0-AI-MANIFEST.a2ml only",
"type": "banned",
"file": "AI.a2ml",
"action": "delete",
"rule_module": "root_hygiene",
"severity": "high"
},
{
"reason": "Superseded by 0-AI-MANIFEST.a2ml",
"type": "banned",
"file": "AI.djot",
"action": "delete",
"rule_module": "root_hygiene",
"severity": "high"
},
{
"reason": "Issue in quality.yml",
"type": "missing_workflow",
"file": "quality.yml",
"action": "create",
"rule_module": "workflow_audit",
"severity": "high"
},
{
"reason": "Issue in security-policy.yml",
"type": "missing_workflow",
"file": "security-policy.yml",
"action": "create",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
"type": "unpinned_action",
"file": "governance.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "high"
},
{
"reason": "TypeScript file detected -- banned language",
"type": "banned_language_file",
"file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/example/smoke_driver.ts",
"action": "flag",
"rule_module": "cicd_rules",
"severity": "critical"
},
{
"reason": "TypeScript file detected -- banned language",
"type": "banned_language_file",
"file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/cli.ts",
"action": "flag",
"rule_module": "cicd_rules",
"severity": "critical"
},
{
"reason": "TypeScript file detected -- banned language",
"type": "banned_language_file",
"file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/mod.ts",
"action": "flag",
"rule_module": "cicd_rules",
"severity": "critical"
},
{
"reason": "TypeScript file detected -- banned language",
"type": "banned_language_file",
"file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/lib/compile.ts",
"action": "flag",
"rule_module": "cicd_rules",
"severity": "critical"
},
{
"reason": "TypeScript file detected -- banned language",
"type": "banned_language_file",
"file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/lib/runner.ts",
"action": "flag",
"rule_module": "cicd_rules",
"severity": "critical"
}
]Powered by Hypatia Neurosymbolic CI/CD Intelligence |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
#229 ledger — post-ports correction (record sigil) + new
++constructRefs #229. Follow-up to the merged #248, from actually doing thethree confirmed quick-win ports (git-scripts PR#9, game-server-admin
PR#14, invariant-path PR#4 — each oracle-validated "Type checking
passed" on
main).Correction (soundness): the record sigil
#{is strictlyexpression-literal-only. docs(estate): #229 foundation — post-#228 re-audit, RS inventory, canonical map #248's row said "applies to record patterns
in
matchtoo" — oracle-disproved:#{-pattern parse-errors;{ }-pattern passes. Record patterns andstruct/enum/typedeclbodies stay
{ }. The codemod is standalone-{-then-field:→#{.New Tier-1 construct: ReScript string
+→ AffineScript++(concat is
++,stdlib/string.affine:98;+is numeric — left aUnify(String,Int)beneath the parse wall on 2 of 3 files). Anotherlayered RS-ism the text-scanner cannot see — reinforces the
lower-bound-triage warning.
Per-repo plan item 1 marked DONE with PR refs.
Docs-only; gate unaffected by construction.
🤖 Generated with Claude Code