Skip to content

luad 0.3.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 18 Sep 21:47
v0.3.0
ab173e5

luad 0.3.0

Release 0.3.0 built from accepted revision ab173e52ce3939d3889944724c303b0f36c4865b.

Accepted CI run: https://github.com/dweekly/luad/actions/runs/35397820538

  • Emit closed prototype expressions with child prototype paths and physical PC
    evidence for proven CLOSURE call-argument definitions in Lua 5.1 origin analysis
    (R-1c).
  • Reconstruct constant-key table-literal origin expressions (TableLiteral) with
    deterministically sorted fields, write evidence, and visible partial cutoffs
    (incomplete: true) for request-shaped objects in Lua 5.1 origin analysis (R-1a).
  • Emit closed alternatives expressions containing deduplicated, deterministically
    sorted candidate origins with reaching evidence when bounded definitions reach a
    control-flow join in Lua 5.1 origin analysis (R-1b).
  • Add corpus-wide query --input-list <file|-> --where <expression> supporting streaming
    JSONL batch queries across file lists or stdin with per-input identity, stream framing,
    failure/skip retention, limit truncation, and strict-mode exit semantics (R-4).
  • Fix query expression tokenizer hang on invalid expressions containing single '=' or '!'
    characters.
  • Add export fact-family discovery and canonical registry (ExportFactFamily,
    EXPORT_FACT_FAMILIES) exposing export: ExportCapability in CapabilityManifest and
    luad capabilities, documenting valid families in export --help, and reporting sorted
    valid families on unknown --facts arguments (R-5).
  • Add convention-gated cross-chunk linking (--link-convention luci-module-setglobal)
    enabling corpus-wide module indexing and inter-artifact call-site resolution in batch
    export, emitting auditable cross_chunk_link facts with explicit statuses (resolved,
    absent, duplicate, dynamic, unsupported, limit_exceeded), order-invariant
    indexing, fail-closed corpus and fact limits, and link.schema.json (R-2).

Checksums

89a64d8bc50f99ff74104f380dcda60504f03b613b2b1d1d53659e2a0c0d5829  evidence-index.json
3f177091c68bb643bb0acd818cc088da3dd014464a7cc34ef2a5afc3a1212b07  luad-0.3.0-linux-x86_64.tar.gz
06f20f58420dfc7d2088b2b5e2c23d63ff2159c36d47581ace3225a8ae023041  luad-0.3.0-macos-aarch64.tar.gz
e211d5e1796c2c42c250216aa083a3c99600a936f4f0520e49c8c17fb2d86c2f  luad-0.3.0.cdx.json

Build Provenance

Artifact attestations can be verified with:

gh attestation verify luad-0.3.0-<platform>.tar.gz --repo dweekly/luad
Assets 7
Loading