Search results

Migrate to latest rain.interpreter.interface (V4 caller / V4 interpreter / V3 store)

enhancementNew feature or requestNew feature or request

Status: Open.

#437 In rainlanguage/flow;

· thedavidmeister opened on Apr 29, 2026

Evaluate ERC1155 transfer data parameter support in LibFlow.flowERC1155

enhancementNew feature or requestNew feature or request

Status: Open.

#435 In rainlanguage/flow;

· thedavidmeister opened on Apr 29, 2026

Evaluate ERC1155 batch transfer support in LibFlow.flowERC1155

enhancementNew feature or requestNew feature or request

Status: Open.

#434 In rainlanguage/flow;

· thedavidmeister opened on Apr 29, 2026

[A22-6] [MEDIUM] IFlowV5 rainlang example stack omits inter-type sentinels

auditAudit findingAudit finding

mediumSeverity: mediumSeverity: medium

pass3Audit Pass 3: DocumentationAudit Pass 3: Documentation

Status: Open.

#424 In rainlanguage/flow;

· thedavidmeister opened on Apr 27, 2026

[TEST-5] [INFO] testFlowHaltIfEnsureRequirementNotMet does not pin ensure path

auditAudit findingAudit finding

infoSeverity: infoSeverity: info

pass5Audit Pass 5: CorrectnessAudit Pass 5: Correctness

Status: Open.

#423 In rainlanguage/flow;

· thedavidmeister opened on Apr 26, 2026

[TEST-4] [LOW] testFlowBasicFlowTime tests store writes, not time

auditAudit findingAudit finding

lowSeverity: lowSeverity: low

pass5Audit Pass 5: CorrectnessAudit Pass 5: Correctness

Status: Open.

#422 In rainlanguage/flow;

· thedavidmeister opened on Apr 26, 2026

[TEST-3] [LOW] Negative-path FlowTransferV1 construction duplicated in Flow.transfer.t.sol

auditAudit findingAudit finding

lowSeverity: lowSeverity: low

pass4Audit Pass 4: Code QualityAudit Pass 4: Code Quality

Status: Open.

#421 In rainlanguage/flow;

· thedavidmeister opened on Apr 26, 2026

[TEST-2] [LOW] Manual private-key bounding duplicates boundPrivateKey from forge-std

auditAudit findingAudit finding

lowSeverity: lowSeverity: low

pass4Audit Pass 4: Code QualityAudit Pass 4: Code Quality

Status: Open.

#420 In rainlanguage/flow;

· thedavidmeister opened on Apr 26, 2026

[TEST-1] [LOW] IFlowV5.t.sol imports sentinel from V4, not V5

auditAudit findingAudit finding

lowSeverity: lowSeverity: low

pass4Audit Pass 4: Code QualityAudit Pass 4: Code Quality

Status: Open.

#419 In rainlanguage/flow;

· thedavidmeister opened on Apr 26, 2026

[A23-10] [INFO] LibFlow sibling loops use inconsistent i++/++i increment

auditAudit findingAudit finding

infoSeverity: infoSeverity: info

pass4Audit Pass 4: Code QualityAudit Pass 4: Code Quality

Status: Open.

#416 In rainlanguage/flow;

· thedavidmeister opened on Apr 26, 2026

[A22-5] [INFO] IFlowV5 Pointer import is dead and not re-exported

auditAudit findingAudit finding

infoSeverity: infoSeverity: info

pass4Audit Pass 4: Code QualityAudit Pass 4: Code Quality

Status: Open.

#415 In rainlanguage/flow;

· thedavidmeister opened on Apr 26, 2026

[A01-9] [LOW] BadMinStackLength declared in Flow.sol instead of ErrFlow.sol

auditAudit findingAudit finding

lowSeverity: lowSeverity: low

pass4Audit Pass 4: Code QualityAudit Pass 4: Code Quality

Status: Open.

#414 In rainlanguage/flow;

· thedavidmeister opened on Apr 26, 2026